Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

Modelling Puzzles in First Order Logic

59.96 CHF

Versandkostenfrei

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10424630

Beschreibung

Preface.- Getting Started with Prover9 and Mace4.- Micro Arithmetic Puzzles.- Strange Numbers.- Practical Puzzles.- Lady and Tigers.- Einstein Puzzles.- Island of Truth.- Love and Marriage.- Grid Puzzles.- Japanese Puzzles.- Russian Puzzles.- Polyomino Puzzles.- Self-reference and Other Puzzles.- Epigraph in Natural Language

Eigenschaften

Breite:	155
Höhe:	235
Seiten:	362
Sprachen:	Englisch
Autor:	Adrian Groza

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller