Home News About Us Contact Contributors Disclaimer Privacy Policy 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-2  
 Basket 
Electronic Portfolios for Scientists
Authors: Dahn, Ingo; Christmann, Alexander
Date of Publication (YYYY-MM-DD): 2007-05-02
Name of Conference/Meeting: German e-Science Conference
Document Type: Conference-Paper
ID: 315465.0
 
Full text / Content available
Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER
Editors: Dahn, Ingo; Vigneron, Laurent
Authors: Hillenbrand, Thomas
Place of Publication: Amsterdam, The Netherlands
Publisher: Elsevier
Date of Publication (YYYY-MM-DD): 2003
Title of Proceedings: Proceedings of the 4th International Workshop on First Order Theorem Proving, FTP'03
Start Page: 1
End Page: 13
Title of Series: Electronic Notes in Theoretical Computer Science
Document Type: Conference-Paper
ID: 201810.0
Entries: 1-2  
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.