Logic Machines

276 books
Latest Advances in Inductive Logic ProgrammingStephen Muggleton
⏱ 5h 0m

Latest Advances in Inductive Logic Programming

Stephen Muggleton

2014300 pp.
Handbook of Research on Disease Prediction Through Data Analytics and Machine LearningGeeta Rani

Handbook of Research on Disease Prediction Through Data Analytics and Machine Learning

Geeta Rani

2020No page data
Microprogrammed state machine designMichel A. Lynch
⏱ 8h 9m

Microprogrammed state machine design

Michel A. Lynch

1993489 pp.
Handbook of Relational LearningAshwin Srinivasan
⏱ 8h 20m

Handbook of Relational Learning

Ashwin Srinivasan

2009500 pp.
Fuzzy rule-based expert systems and genetic machine learningAndreas Geyer-Schulz
⏱ 7h 3m

Fuzzy rule-based expert systems and genetic machine learning

Andreas Geyer-Schulz

1995423 pp.
The Collected Works of J. Richard BüchiSaunders Mac Lane
⏱ 11h 36m

The Collected Works of J. Richard Büchi

Saunders Mac Lane

1990696 pp.
The square root of TuesdayJessica Davidson
⏱ 1h 59m

The square root of Tuesday

Jessica Davidson

1971119 pp.
Abductive reasoning and learningDov M. Gabbay
⏱ 7h 25m

Abductive reasoning and learning

Dov M. Gabbay

2000445 pp.
The undecidableDavis, Martin
⏱ 7h 20m

The undecidable

Davis, Martin

1965440 pp.
Foundations of Probabilistic Logic ProgrammingFabrizio Riguzzi
⏱ 4h 10m

Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi

2018250 pp.
Automata studiesUnknown Author
⏱ 4h 45m

Automata studies

Unknown Author

1956285 pp.
Higher-order algebra, logic, and term rewritingJan Heering
⏱ 5h 44m

Higher-order algebra, logic, and term rewriting

Jan Heering

1994344 pp.
LogicasymboliekL. R. Polis
⏱ 1h 44m

Logicasymboliek

L. R. Polis

1981104 pp.
Logischer Entwurf digitaler SystemeHans Liebig
⏱ 5h 37m

Logischer Entwurf digitaler Systeme

Hans Liebig

1975337 pp.
Formal verification of mathematical softwareDavid Sutherland

Formal verification of mathematical software

David Sutherland

1984No page data
Turing's LegacyRod Downey
⏱ 9h 0m

Turing's Legacy

Rod Downey

2014540 pp.
Kibernetika i logikaB. V. Biri︠u︡kov
⏱ 5h 33m

Kibernetika i logika

B. V. Biri︠u︡kov

1978333 pp.
Kibernetika i logikaUnknown Author
⏱ 5h 33m

Kibernetika i logika

Unknown Author

1978333 pp.
Interactive theory revisionLuc de Raedt
⏱ 3h 56m

Interactive theory revision

Luc de Raedt

1992236 pp.
Lohiko-hnoseolohichnyĭ analiz pryntsypiv kibernetychnoho modeli︠u︡vanni︠a︡A. I︠A︡ Moroz
⏱ 2h 36m

Lohiko-hnoseolohichnyĭ analiz pryntsypiv kibernetychnoho modeli︠u︡vanni︠a︡

A. I︠A︡ Moroz

1972156 pp.
← PreviousPage 2 of 14Next →