Computer-aided reasoning an approach

Includes bibliographical references (p. [257]-259) and index

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kaufmann, Matt (VerfasserIn)
Weitere Verfasser:	Manolios, Panagiotis (VerfasserIn), Moore, J Strother (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Boston, Mass. u.a. Kluwer Academic Publishers c 2000
Schriftenreihe:	Advances in formal methods 3
Schlagworte:	Formal methods (Computer science) > Sotware engineering > Expert systems (Computer science) > Formale Methode > Software Engineering > Expertensystem
Online Zugang:	Publisher description Table of contents only
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!