Automated reasoning 5th international joint conference ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin ; Heidelberg ; New York, NY Springer 2010
Schriftenreihe:	Lecture notes in computer science 6173 : Lecture notes in artificial intelligence
Schlagworte:	Logik Programmierlogik Beweistheorie Automatisches Beweisverfahren Konferenzschrift > 2010 > Edinburgh
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge