Automated model building

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Caferra, Ricardo (VerfasserIn)
Weitere Verfasser:	Leitsch, Alexander (VerfasserIn), Peltier, Nicholas (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Dordrecht u.a. Kluwer Acad. Publ. c 2004
Schriftenreihe:	Applied logic series 31
Schlagworte:	Automatic theorem proving > Applied logic > Logik > Deduktion
Online Zugang:	Inhaltstext Cover
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Includes bibliographical references
Beschreibung:	xi, 341 p 25cm
ISBN:	1402026528 1-4020-2652-8