Computation as logic

Bibliographische Detailangaben

1. Verfasser:	Lalement, René (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Paris <<[u.a.]>> Masson <<[u.a.]>> 1990
Schriftenreihe:	Prentice Hall international series in computer science
Schlagworte:	Logik Programmierung Mathematische Logik Informatik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!