Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Logic for Applications

Limba englezăengleză
Carte Carte broșată
Carte Logic for Applications Anil Nerode
Codul Libristo: 01429198
Editura Springer, Berlin, noiembrie 2011
This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction... Descrierea completă
? points 220 b
477.90 lei
șansă 50% Şanse de a obține acest titlu Când primesc cărțile?

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Depend?ncia de smartphones e seu impacto no sistema músculo-esquelético Ashish Dobhal / Carte Carte broșată
common.buy 217.99 lei
Balance de nitrógeno y emisiones de GEI en pastos tropicales Bruno José Alves / Carte Carte broșată
common.buy 272.20 lei
Der neue Landdoktor Paket 1 - Arztroman Tessa Hofreiter / E-book Adobe ePub DRM
common.buy 905.97 lei
Abych nezapomněl Lukáš Prchal / Carte Carte broșată
common.buy 18.86 lei
ΑΡΧΑΙΟΙ ΕΛΛΗΝΕΣ Πλάτων (427 - 347 π.Χ.) Χαράλαμπος Τ. Γκόλιας / Carte Carte broșată
common.buy 86.00 lei
La vallée des lis Thomas A. Kempis / Carte Carte broșată
common.buy 111.34 lei
Le Bruit du temps Ossip Mandelstam / Carte Carte broșată
common.buy 90.07 lei
Kommissar Batdorj und die alten Helden von Chowd-Aimag Span Nungpur / Carte Carte broșată
common.buy 40.54 lei
Freut euch, denn der Herr ist nahe ! Otto / Carte Carte broșată
common.buy 87.88 lei
Die Germanische Urgeschichte in Tacitus Germania (1922) Eduard Norden / Carte Carte broșată
common.buy 231.65 lei
MARVEL STUDIOS MARVEL / Carte Copertă tare
common.buy 123.53 lei
Seitz - Silvestre Andreas Beyer / Carte Copertă tare
common.buy 1 803.29 lei
Le Secret de la Paix Sociale: Etude Dediee A M. Le Comte Albert de Mun Orry-A-M / Carte Carte broșată
common.buy 91.01 lei
Turismo Astronomico Laura Garach / Carte Carte broșată
common.buy 193.70 lei
Composicao centesimal e perfil de acidos graxos da carne de cordeiro Lima Lopes Jose Evanaldo / Carte Carte broșată
common.buy 178.68 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Logic for Applications
Autor Anil Nerode, Richard A. Shore
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 365
EAN 9781468402131
Codul Libristo 01429198
Editura Springer, Berlin
Dimensiuni 155 x 235

Categorii

Computing & Information Technology > Computer hardware
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Logic for Programming, Artificial Intelligence, and Reasoning Edmund M. Clarke / Carte Carte broșată
common.buy 285.96 lei
Stability and Legitimate Expectations in International Energy Investments Kopar / Carte Copertă tare
common.buy 670.87 lei
Current Developments in United States Foreign Policy V5, No. 9, April, 1952 Brookings Institution / Carte Carte broșată
common.buy 122.18 lei
Lachesis Lapponica V2: Or A Tour In Lapland (1811) Carl Von Linne / Carte Carte broșată
common.buy 136.77 lei
Spacious Adventures of the Man in the Street Eimar O'Duffy / Carte Carte broșată
common.buy 96.43 lei
How To Make Your Business Stand Out With A USP And Guarantee John Millar / Carte Carte broșată
common.buy 56.91 lei
Mozart, W: Divertimento KV 525 "Eine kleine Nachtmusik" Wolfgang Amadeus Mozart / Carte Carte broșată
common.buy 52.53 lei
8th Congress on Electronic Structure: Principles and Applications (ESPA 2012) Juan J. Novoa / Carte Carte broșată
common.buy 570.37 lei
Stop Stoning Naive People Flower Tom / Carte Carte broșată
common.buy 67.96 lei
Man's Thoughts Jones_a_poet / Carte Carte broșată
common.buy 82.66 lei
South Asian Women in the Diaspora Nirmal Puwar / Carte Copertă tare
common.buy 1 147.01 lei
On the Edge Robert Duck / Carte Carte broșată
common.buy 265.53 lei
Civil War Dynasty Kenneth J. Heineman / Carte Copertă tare
common.buy 275.95 lei
Pension Mathematics with Numerical Illustrations Howard E. Winklevoss / Carte Copertă tare
common.buy 580.07 lei
Curriculum in Context Bob Moon / Carte Carte broșată
common.buy 247.08 lei
Computing for Biologists Ran Libeskind-Hadas / Carte Carte broșată
common.buy 349.97 lei
Top
Alfred's Basic Adult Piano Course Lesson 1 Willard A. Palmer / Carte Carte
common.buy 69.42 lei
Psychology and History Cristian Tileagă / Carte Copertă tare
common.buy 798.48 lei
Finite Element Analysis of Composite Laminates O.O. Ochoa / Carte Carte broșată
common.buy 570.37 lei
Lyrics for Re-Creation James A Conlon / Carte Carte broșată
common.buy 181.71 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?