Home News About Us Contact Contributors Disclaimer Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Display Documents


Institute:
Collection:
Print in Citation style Print version     Display:
Sort by: Display records with Fulltext only
Entries: 1-3  
 Basket 
First-Order Atom Definitions Extended
Authors: Afshordel, Bijan; Hillenbrand, Thomas; Weidenbach, Christoph
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2001
Title of Proceedings: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001)
Start Page: 309
End Page: 319
Title of Series: Lecture Notes in Artificial Intelligence
Document Type: Conference-Paper
ID: 519888.0
System Description: SPASS Version 1.0.0
Authors: Weidenbach, Christoph; Afshordel, Bijan; Brahm, Uwe; Cohrs, Christian; Engel, Thorsten; Keen, Enno; Theobalt, Christian; Topić, Dalibor
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 1999
Title of Proceedings: Proceedings of the 16th International Conference on Automated Deduction (CADE-16)
Start Page: 314
End Page: 318
Title of Series: Lecture Notes in Artificial Intelligence
Document Type: Conference-Paper
ID: 519903.0
System Description: SPASS Version 1.0.0
Authors: Weidenbach, Christoph; Afshordel, Bijan; Brahm, Uwe; Cohrs, Christian; Engel, Thorsten; Keen, Enno; Theobalt, Christian; Topic, Dalibor
Place of Publication: New York, NY, USA
Publisher: Springer
Date of Publication (YYYY-MM-DD): 1999
Title of Proceedings: Automated deduction (CADE-16) : 16th international conference on automated deduction
Start Page: 378
End Page: 382
Title of Series: Lecture Notes in Computer Science
Document Type: Conference-Paper
ID: 520251.0
Entries: 1-3  
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.