First Order Logic – alle Bücher und CDs

Ihre Suche nach "first order logic" ergab 8 Treffer

Zoran Majkic
Intensional First-Order Logic

This book introduces the properties of conservative extensions of First Order Logic to new Intensional First Order Logic. This extension allows for intensional semantics to be used for concepts, thus affo…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 163,72*

Richard L. Mendelsohn, Melvin Fitting
First-Order Modal Logic

Synthese Library -Band 480

This revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments. Fitting …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 131,42*

Moving Away From The Pulsebeat: Post-Punk Britain 1977 - 1981

105 Titel, die die britische Post-Punk-Explosion von 1978 bis 1981 dokumentieren. Punkrock zog sowohl Träumer als auch Intriganten an. Viele ließen sich einfach von der Musik anstecken. Einige wurden dur…

lieferbar innerhalb 1-2 Wochen

EUR 40,99**

5 CDs

EUR 38,99*

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*

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*

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*

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,64*

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*

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.