Decision procedures an algorithmic point of view

Bibliographische Detailangaben

1. Verfasser:	Kröning, Daniel (VerfasserIn)
Weitere Verfasser:	Strichman, Ofer (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin u.a. Springer 2010
Schriftenreihe:	Texts in theoretical computer science
Schlagworte:	Entscheidungsverfahren > Mathematische Logik
Online Zugang:	http://d-nb.info/985166533/04 http://scans.hebis.de/HEBCGI/show.pl?23205520_ein-1.pdf http://scans.hebis.de/HEBCGI/show.pl?23205520_kap-1.pdf
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!