Buchumschlag

Summary goes here

Gespeichert in:
Bibliographische Detailangaben
Format: Buch
Sprache:Englisch
Schlagworte:
Automatic theorem proving.
Computer algorithms.
Logic programming.
Algorithms
Théorèmes
Algorithmes.
Programmation logique.
algorithms.
Automatic theorem proving
Computer algorithms
Logic programming
Formale Semantik
Logischer Entwurf
Programmierlogik
Automatisches Beweisverfahren
Logisch programmeren.
Algorithms.
Logic design.
Structure logique.
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Summary goes here
Beschreibung:General Notes
Beschreibung:1 online resource (iv, 125 pages) :illustrations
ISBN:9783540478119
3540478116
3540182179
9783540182177