Bücher
KI und ML
Maschinelles Lernen
Logik und Computer: Modellierung des Schließens und Verifikation der Programmkorrektheit

Logik und Computer: Modellierung des Schließens und Verifikation der Programmkorrektheit

Name: Logik und Computer: Modellierung des Schließens und Verifikation der Programmkorrektheit
Author: N.A. Aljoschina, A.M. Anissow, P.I. Bystrow, I.A. Gerassimowa, W.S. Messkow, N.N. Nepejwoda, W.A. Smirnow, W.N. Steblezowa, W.I. Schalak
ISBN: 5020071560

Maschinelles Lernen

mathematical logic artificial intelligence logic programming Prolog program verification reasoning modeling expert systems

Autor: N.A. Aljoschina, A.M. Anissow, P.I. Bystrow, I.A. Gerassimowa, W.S. Messkow, N.N. Nepejwoda, W.A. Smirnow, W.N. Steblezowa, W.I. Schalak
Verlag: Wissenschaft
Jahr: 1990
Sprache: Russisch; 39