English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  SPASS V0.77

Weidenbach, C., Meyer, C., Cohrs, C., Engel, T., & Keen, E. (1998). SPASS V0.77. Journal of Automated Reasoning, 21(1), 113-113.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Weidenbach, Christoph1, 2, Author           
Meyer, Christoph2, Author           
Cohrs, Christian2, Author           
Engel, Thorsten2, Author           
Keen, Enno2, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121998
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: Peer
 Identifiers: eDoc: 519900
Other: Local-ID: C1256104005ECAFC-DE7A848748E6512F412566FD005DE38A-WeidenbachMeyerEtAl98jar
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Journal of Automated Reasoning
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 21 (1) Sequence Number: - Start / End Page: 113 - 113 Identifier: ISSN: 0168-7433