9 treff

førsteordens logikk
Papers on weak first-order theories and decidability problems
Juvenal Murwanashyaka
Bok Engelsk 2023 · Vis mer
Logic and discrete mathematics : a concise introduction
Conradie, Willem.
Bok Engelsk 2015 · Vis mer
Vis flere utgaver
Vis flere utgaver
Handbook of Automated Reasoning. 1.

Bok Engelsk 2001 · Vis mer
Handbook of Automated Reasoning. 2.

Bok Engelsk 2001 · Vis mer
Foundations of inductive logic programming
Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
Bok Engelsk 1997 · Vis mer
Graph connections : relationships between graph theory and other areas of mathematics
edited by Lowell W. Beineke and Robin J. ...
Bok Engelsk 1997 · Vis mer
ML for the working programmer
Paulson, Lawrence C.
Bok Engelsk 1991 · Vis mer
Vis flere utgaver
Vis flere utgaver
Deduction systems
Rolf Socher-Ambrosius, Patricia Johann
Bok Engelsk 1997 · Vis mer
Extensions of first order logic
by María Manzano
Bok Engelsk 1996 · Vis mer