Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Logic for Applications

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic for Applications Anil Nerode
Libristo-code: 01429198
Uitgeverij Springer, Berlin, november 2011
This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction... Volledige beschrijving
? points 220 b
91.10 €
50% kans We doorzoeken de hele wereld Wanneer krijg ik het boek?

Tot 30 dagen retourrecht

Klanten kochten ook

Depend?ncia de smartphones e seu impacto no sistema músculo-esquelético Ashish Dobhal / Boek Gebonden (paperback)
common.buy 44.99 €
Balance de nitrógeno y emisiones de GEI en pastos tropicales Bruno José Alves / Boek Gebonden (paperback)
common.buy 49.04 €
Der neue Landdoktor Paket 1 - Arztroman Tessa Hofreiter / E-book Adobe ePub DRM
common.buy 172.78 €
Abych nezapomněl Lukáš Prchal / Boek Gebonden (paperback)
common.buy 3.64 €
ΑΡΧΑΙΟΙ ΕΛΛΗΝΕΣ Πλάτων (427 - 347 π.Χ.) Χαράλαμπος Τ. Γκόλιας / Boek Gebonden (paperback)
common.buy 15.60 €
La vallée des lis Thomas A. Kempis / Boek Gebonden (paperback)
common.buy 21.27 €
Le Bruit du temps Ossip Mandelstam / Boek Gebonden (paperback)
common.buy 17.22 €
Kommissar Batdorj und die alten Helden von Chowd-Aimag Span Nungpur / Boek Gebonden (paperback)
common.buy 14.79 €
Freut euch, denn der Herr ist nahe ! Otto / Boek Gebonden (paperback)
common.buy 25.63 €
Die Germanische Urgeschichte in Tacitus Germania (1922) Eduard Norden / Boek Gebonden (paperback)
common.buy 42.15 €
MARVEL STUDIOS MARVEL / Boek Gebonden (harde band)
common.buy 23.50 €
Seitz - Silvestre Andreas Beyer / Boek Gebonden (harde band)
common.buy 326.42 €
Le Secret de la Paix Sociale: Etude Dediee A M. Le Comte Albert de Mun Orry-A-M / Boek Gebonden (paperback)
common.buy 16.51 €
Systemy teletransmisyjne Slawomir Kula / Boek Gebonden (harde band)
common.buy 14.48 €
Turismo Astronomico Laura Garach / Boek Gebonden (paperback)
common.buy 36.88 €
Composicao centesimal e perfil de acidos graxos da carne de cordeiro Lima Lopes Jose Evanaldo / Boek Gebonden (paperback)
common.buy 36.88 €

This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction as a form of computation. It can be used to teach classical, modal, and intuitistic predicate logic. It also presents the logical and mathematical foundations for resolution theorem proving and Logic Programming. A distinctive feature of this book is its uniform mathematical treatment of logic, based on the tableau method of classical logic, which includes soundness, completeness, compactness, incompleteness, and the theorems of Herb Rand and Skolem-L Wenheim. The same uniform treatment is used for important areas of application in computer science and artificial intelligence. These include resolution theorem proving, Logic Programming and Prolog, Predicate Intuitionistic Logic, and Predicate Modal Logic. There is also an historical appendix and an extensive list of selected references so that both the background and more advanced developments of these subjects can be understood and pursued. This text is appropriate for upper level undergraduate and beginning graduate students.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Logic for Applications
Auteur Anil Nerode, Richard A. Shore
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 365
EAN 9781468402131
Libristo-code 01429198
Uitgeverij Springer, Berlin
Afmetingen 155 x 235

Categorieën

Informatica en informatietechnologie > Computer hardware
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Logic for Programming, Artificial Intelligence, and Reasoning Edmund M. Clarke / Boek Gebonden (paperback)
common.buy 51.78 €
Stability and Legitimate Expectations in International Energy Investments Kopar / Boek Gebonden (harde band)
common.buy 134.37 €
Current Developments in United States Foreign Policy V5, No. 9, April, 1952 Brookings Institution / Boek Gebonden (paperback)
common.buy 22.18 €
Lachesis Lapponica V2: Or A Tour In Lapland (1811) Carl Von Linne / Boek Gebonden (paperback)
common.buy 24.82 €
Spacious Adventures of the Man in the Street Eimar O'Duffy / Boek Gebonden (paperback)
common.buy 17.32 €
How To Make Your Business Stand Out With A USP And Guarantee John Millar / Boek Gebonden (paperback)
common.buy 10.33 €
Mozart, W: Divertimento KV 525 "Eine kleine Nachtmusik" Wolfgang Amadeus Mozart / Boek Gebonden (paperback)
common.buy 10.02 €
8th Congress on Electronic Structure: Principles and Applications (ESPA 2012) Juan J. Novoa / Boek Gebonden (paperback)
common.buy 114.81 €
Stop Stoning Naive People Flower Tom / Boek Gebonden (paperback)
common.buy 12.35 €
Man's Thoughts Jones_a_poet / Boek Gebonden (paperback)
common.buy 15.09 €
South Asian Women in the Diaspora Nirmal Puwar / Boek Gebonden (harde band)
common.buy 209.47 €
On the Edge Robert Duck / Boek Gebonden (paperback)
common.buy 47.83 €
Civil War Dynasty Kenneth J. Heineman / Boek Gebonden (harde band)
common.buy 50.46 €
Pension Mathematics with Numerical Illustrations Howard E. Winklevoss / Boek Gebonden (harde band)
common.buy 105.80 €
Curriculum in Context Bob Moon / Boek Gebonden (paperback)
common.buy 47.12 €
Computing for Biologists Ran Libeskind-Hadas / Boek Gebonden (paperback)
common.buy 69.82 €
TOP
Alfred's Basic Adult Piano Course Lesson 1 Willard A. Palmer / Boek Boek
common.buy 13.27 €
Psychology and History Cristian Tileagă / Boek Gebonden (harde band)
common.buy 145.52 €
Finite Element Analysis of Composite Laminates O.O. Ochoa / Boek Gebonden (paperback)
common.buy 114.71 €
Lyrics for Re-Creation James A Conlon / Boek Gebonden (paperback)
common.buy 32.83 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?