Automated reasoning 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings

Bibliographische Detailangaben

Körperschaft:	IJCAR (Conference) < 2010, Edinburgh, Scotland> (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Berlin Springer c2010
Schriftenreihe:	Lecture notes in computer science 6173 Lecture notes in computer science LNCS sublibrary
Schlagworte:	Th�eor�emes / D�emonstration automatique / Congr�es Logique informatique / Congr�es Automatic theorem proving / Congresses Computer logic / Congresses Programmierlogik Beweistheorie Logik Automatisches Beweisverfahren Konferenzschrift
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!