Yazar
Matt Kaufmann
5 cilt bulundu.
Cilt sonuçları
Computer-Aided Reasoning
Matt Kaufmann · Springer US
337 sayfa · 2000
Electronic data processing / Computer science / Software engineering / Expert systems (computer science) / Computer-aided design
Computer-Aided Reasoning
Matt Kaufmann · Springer US
270 sayfa · 2000
Electronic data processing / Computer science / Software engineering
Interactive Theorem Proving
Matt Kaufmann · Springer-Verlag Berlin Heidelberg
Sayfa sayısı yok · 2010
Logic design / Monoclonal antibodies / Software engineering / Computer science / Artificial intelligence
Computer-aided reasoning
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore · Island Press
315 sayfa · 2000
Expert systems (Computer science) / Formal methods (Computer science) / Software engineering / Knowledge-based systems / expert systems / Computers - General Information
