Ihre Suche nach "first-order logic" ergab 29 Treffer

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 …

sofort lieferbar
Buch
EUR 17,95*
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 ab 8.10.2024.
Buch
EUR 17,95*
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 25,93*
Artikel ist im Warenkorb
: 15 Movie Highlights, CD,CD,CD,CD,CD,CD,CD,CD,CD,CD

15 Movie Highlights

- Einige der besten Soundtracks zwischen Hollywood und Cinecitta - Filmmusiken mit unvergessenen Melodien wie „Moon River" oder der „River Kwai March“ von u. a. Nino Rota, Leonard Bernstein, Henry Mancin…

10 CDs
 
EUR 13,99*
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
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, Ildikó Sain, István Németi, Zalán Gyenis
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
Dag Westerstahl: Foundations of Logic - Completeness, Incompleteness, Computability, Buch

Dag Westerstahl
Foundations of Logic - Completeness, Incompleteness, Computability

A comprehensive introduction to logic's central concepts. This book provides a concise but detailed account of modern logic's three cornerstones: the completeness of first-order logic, Gödel's Incompleten…

lieferbar in mind. 4 Wochen
Buch
EUR 55,03*
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.