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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Goal-Directed Proof Theory

Limba englezăengleză
Carte Copertă tare
Carte Goal-Directed Proof Theory Dov M. Gabbay
Codul Libristo: 01396493
Editura Springer, august 2000
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in no... Descrierea completă
? points 277 b
598.01 lei
În depozitul extern în cantități mici Expediem în 11-15 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Top
Manga. Kolorowanka antystresowa. Zagadkowe rysunki William Bal / Carte Carte broșată
common.buy 42.48 lei
La Caseta de fusta CARLA ZAPLANA / Carte Copertă tare
common.buy 138.95 lei
Topica Epigrammatum Dedicatoriorum Graecorum (1906) Hugo Kuhn / Carte Carte broșată
common.buy 116.26 lei
zigomar n aime pas les legumes CORENTIN / Carte Carte broșată
common.buy 89.52 lei
EXCEL. VERSIONES 2019 Y OFFICE 365 VV. AA. / Carte Carte
common.buy 58.23 lei
Atlantida - Elita v hledání nesmrtelnosti Anastasia Novych / Carte Copertă tare
common.buy 73.15 lei
A Question of Geography: How Can it Rain Fish? Clive Gifford / Carte Copertă tare
common.buy 92.11 lei
Pil C: Odsúdení na úspech Pil C Carte binding.
common.buy 80.51 lei
JeBouffe-Express Les Tomates de l'entree au dessert JeBouffe / E-book Adobe ePub DRM
common.buy 5.58 lei
Esigenze speciali basate sul processo Jayashree Subrahmanyam / Carte Carte broșată
common.buy 177.60 lei
La Legende de L'Etre: Langage Et Poesie Chez Heidegger Arion L. Kelkel / Carte Carte broșată
common.buy 505.99 lei
Létavice touhy Radim Kopáč / Carte Carte broșată
common.buy 48.59 lei
LE ROBERT BENJAMIN / Carte Copertă tare
common.buy 101.85 lei
Die Quellen der Wissenschaftsauffassung Max Webers und die Problematik der Werturteilsfreiheit der Nationalökonomie. Walther Wegener / Carte Carte broșată
common.buy 279.47 lei
Küchen Thomas Hausberg / Carte Copertă tare
common.buy 224.23 lei
Grafin Franziska zu Reventlow Isabel Gotovac / Carte Carte broșată
common.buy 89.31 lei
Geheimagent NR. 6 Edgar Wallace / Carte Carte broșată
common.buy 50.04 lei
Easy Blue Saxophone Duets James Rae / Materiale tipărite Note muzicale
common.buy 113.98 lei
Kampf um die Macht der Sumeraner Aline Krüger / Carte Copertă tare
common.buy 65.38 lei
Marketing-Controlling Romy Schmidt / Carte Carte broșată
common.buy 246.00 lei
Claus Störtebecker Georg Engel / Carte Carte broșată
common.buy 79.37 lei
El secreto del eneagrama : un sistema que revela las claves de la personalidad Klausbernd Vollmar / Carte Carte broșată
common.buy 100.51 lei
123 con Peppa Eone / Carte Carte broșată
common.buy 56.57 lei
Spitfire Mk. V - 3.díl Miroslav Šnajdr / Carte Carte broșată
common.buy 18.54 lei

Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective. Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory.

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 Goal-Directed Proof Theory
Autor Dov M. Gabbay, N. Olivetti
Limba engleză
Legare Carte - Copertă tare
Data publicării 2000
Număr pagini 268
EAN 9780792364733
ISBN 0792364732
Codul Libristo 01396493
Editura Springer
Greutatea 1270
Dimensiuni 156 x 234 x 20

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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

FREDERICK DELIUS FREDERICK DELIUS / Carte Copertă tare
common.buy 201.96 lei
LA MUSIQUE ELLIOTT CARTER / Carte Carte broșată
common.buy 57.19 lei
Are You My Best Buddy? Heidi Michelle Gobble / Carte Carte broșată
common.buy 86.52 lei
Graphs and Matrices Ravindra B. Bapat / Carte Carte broșată
common.buy 465.27 lei
Special Issue: Celebrating Name's 10th Anniversary Penelope L. Lisi / Carte Carte broșată
common.buy 217.71 lei
Tony Evans Speaks Out on Spiritual Warfare Tony Evans / Carte Carte broșată
common.buy 46.00 lei
The North American Review V49 (1839) North American Review Corporation / Carte Carte broșată
common.buy 219.68 lei
Play with Your Cat!: The Essential Guide to Interactive Play for a Happier, Healthier Feline Delgado / Carte Carte broșată
common.buy 87.55 lei
Commentaria in Aristotelem Graeca. Edita Consilio et Auctoritate Academiae Litterarum Regiae Borussicae pt 1-2; Volume 19 Berlin Akademie der Wissenschaften / Carte Carte broșată
common.buy 152.32 lei
Thirsty Mike (University of Manchester) Sanders / Carte Carte broșată
common.buy 95.84 lei
Arboretum Et Fruticetum Britannicum; Or, the Trees and Shrubs of Britain, Native and Foreign, Hardy and Half-Hardy, Pictorially and Botanically Deline J C 1783-1843 Loudon / Carte Copertă tare
common.buy 235.43 lei
Oklahoma City Zoo:: 1902-1959 Amy Dee Stephens / Carte Carte broșată
common.buy 109.00 lei
Drawing Animals: 30th Anniversary Edition Norman Adams / Carte Carte broșată
common.buy 110.25 lei
New York Stock Exchange HECKMAN / Carte Carte broșată
common.buy 189.42 lei
Janna's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Carte Carte broșată
common.buy 42.68 lei
Extreme Machines Ian Stevens / Carte Copertă tare
common.buy 145.69 lei
Deep Learning for Security and Privacy Preservation in IoT Aaisha Makkar / Carte Copertă tare
common.buy 1 036.24 lei
Leftin
Human-elephant interactions: From past to present Vangelis Tourloukis / Carte Copertă tare
common.buy 268.69 lei
KING OF THE AIR: OR, TO MOROCCO ON AN AI HERBERT STRANG / Carte Copertă tare
common.buy 183.61 lei
Scouts of the Valley, a Story of Wyoming and the Chemung Joseph A. Altsheler / Carte Carte broșată
common.buy 120.82 lei
Electric Pictures Ellen Cheshire / Carte Carte broșată
common.buy 89.52 lei
Palgrave Handbook of National Security Michael Clarke / Carte Copertă tare
common.buy 1 458.31 lei
Top
I Love Dad with the Very Hungry Caterpillar Eric Carle / Carte Copertă tare
common.buy 42.68 lei
Political Economy and Sociolinguistics David Block / Carte Carte broșată
common.buy 212.73 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?