Logic and Computer: Modeling Reasoning and Program Correctness Verification
A

Logic and Computer: Modeling Reasoning and Program Correctness Verification

Machine learning
mathematical logic artificial intelligence logic programming Prolog program verification reasoning modeling expert systems
Author
N.A. Alyoshina, A.M. Anisov, P.I. Bystrov, I.A. Gerasimova, V.S. Meskov, N.N. Nepeivoda, V.A. Smirnov, V.N. Stebletsova, V.I. Shalak
Publisher
Science
Year
1990
Language
Russian
42
Rate this book

To read the book, log in / register

Preview fragment

Similar books

Models, methods, algorithms, and software solutions for computing machines, complexes, and systems

Models, methods, algorithms, and software solutions for computing machines, complexes, and systems

S. V. Veretekhina, V. L. Simonov, O. L. Mnatsakanyan

Learning SQL and MySQL. Easily extract and manipulate data using SQL commands.

Learning SQL and MySQL. Easily extract and manipulate data using SQL commands.

Ashwin Pajankar

Algorithms and Computation Models

Algorithms and Computation Models

Dmitry Golubenko, Alexey Kroshnin, Eduard Gorbunov

Introduction to Logic Programming

Introduction to Logic Programming

Michael Genesereth, Vinay K. Chaudhri

Algorithm Theory

Algorithm Theory

V.I. Igoshin

Programming: Introduction to the Profession. Volume 2: System Programming

Programming: Introduction to the Profession. Volume 2: System Programming

A. N. Stolyarov

Learning SQL. Data Generation, Selection, and Processing

Learning SQL. Data Generation, Selection, and Processing

Alan Beaulieu

Algorithms. A Reference with Examples in C, C++, Java, and Python. Second Edition.

Algorithms. A Reference with Examples in C, C++, Java, and Python. Second Edition.

George Heineman, Gary Pollice, Stanley Selkow

Programming: Typical Tasks, Algorithms, Methods

Programming: Typical Tasks, Algorithms, Methods

D. M. Zlatopolsky

Workshop on Software Design for Economic Information Systems

Workshop on Software Design for Economic Information Systems

Vendrov A. M.