Computer aided reasoning an approach

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kaufmann, Matt (VerfasserIn), Manolios, Panagiotis (VerfasserIn), Moore, J Strother 1947- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Boston [u.a.] Kluwer 2000
Schriftenreihe:	Advances in formal methods 3
Schlagworte:	Génie logiciel Méthodes formelles (Informatique) Systèmes experts (Informatique) Expert systems (Computer science) Formal methods (Computer science) Sotware engineering Formale Methode Inferenz > Künstliche Intelligenz
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Computer aided reasoning ACL2 case studies

Veröffentlicht 2000

Buch

Veröffentlicht 2000

DE-706
URL des Eerstveröffentlichers

Elektronisch E-Book