Logic for Problem Solving, Revisited

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kowalski, Robert (VerfasserIn)
Weitere Verfasser:	Frühwirth, Thom (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Norderstedt Books on Demand 2014
Schriftenreihe:	Computer science essentials
Schlagworte:	Logic, symbolic and mathematical > Automatic theorem proving > Problem solving
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Literaturangaben
Beschreibung:	322 Seiten Illustrationen 220 mm x 155 mm, 546 g
ISBN:	3837036294 3-8370-3629-4 9783837036299 978-3-8370-3629-9