Wir konnten keine exakten Treffer zu Ihrer Suche nach "first-order logic" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:
Paul Lynch: Prophet Song, Buch

Paul Lynch
Prophet Song

An Irish Times ‘Book to Look Forward to in 2023’ A fearless portrait of a society on the brink as a mother faces a terrible choice, from an internationally award-winning author On a dark, wet evening …

lieferbar innerhalb 1-2 Wochen
Buch
EUR 9,97*
Artikel ist im Warenkorb
Paul Lynch: Prophet Song, Buch

Paul Lynch
Prophet Song

An Irish Times ‘Book to Look Forward to in 2023’ A fearless portrait of a society on the brink as a mother faces a terrible choice, from an internationally award-winning author On a dark, wet evening …

sofort lieferbar
Buch
EUR 17,55*
Artikel ist im Warenkorb
Paul Lynch: Prophet Song, Buch

Paul Lynch
Prophet Song

An Irish Times ‘Book to Look Forward to in 2023’ A fearless portrait of a society on the brink as a mother faces a terrible choice, from an internationally award-winning author On a dark, wet evening …

lieferbar innerhalb 1-2 Wochen
Buch
EUR 26,43*
Artikel ist im Warenkorb
Wolfgang Schreiner: Concrete Abstractions, Buch

Wolfgang Schreiner
Concrete Abstractions

Texts & Monographs in Symbolic Computation

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer soft…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 58,66*
Artikel ist im Warenkorb
Vaishak Belle: Toward Robots That Reason: Logic, Probability & Causal Laws, Buch

Vaishak Belle
Toward Robots That Reason: Logic, Probability & Causal Laws

Synthesis Lectures on Artificial Intelligence and Machine Learning

This book discusses the two fundamental elements that underline the science and design of artificial intelligence (AI) systems: the learning and acquisition of knowledge from observational data, and the r…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 42,66*
Artikel ist im Warenkorb
Lech T. Polkowski: Logic: Reference Book for Computer Scientists, Buch

Lech T. Polkowski
Logic: Reference Book for Computer Scientists

Intelligent Systems Reference Library -Band 245

The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested i…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 219,03*
Artikel ist im Warenkorb
William M. Farmer: Simple Type Theory, Buch

William M. Farmer
Simple Type Theory

Computer Science Foundations and Applied Logic

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas. The book is an introducti…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,99*
Artikel ist im Warenkorb
Hajnal Andréka: Universal Algebraic Logic, Buch

Hajnal Andréka
Universal Algebraic Logic

Studies in Universal Logic

This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logic…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 106,66*
Artikel ist im Warenkorb
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.