Symbolic Logic and Mechanical Theorem Proving /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Chang, Ching-Liang (autor)
Weitere Verfasser:	Lee, Richard Char-Tung (autor) (autor)
Format:	Buch
Sprache:	Englisch
Schlagworte:	Ingeniería Computacional Inteligencia Artificial Lógica Matemática
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!

Schreiben Sie den ersten Kommentar!

Ähnliche Einträge