Automated reasoning 6th international joint conference, IJCAR 2012, Manchester, UK, June 26 - 29, 2012 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	IJCAR (BerichterstatterIn)
Weitere Verfasser:	Gramlich, Bernhard (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2012
Schriftenreihe:	Lecture notes in computer science 7364 : Lecture notes in artificial intelligence
Schlagworte:	Automatic theorem proving > Computer logic > Konferenzschrift > Automatisches Beweisverfahren > Programmierlogik > Beweistheorie > Logik
Online Zugang:	Inhaltsverzeichnis Inhaltstext Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!