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 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Goal-Directed Proof Theory

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Goal-Directed Proof Theory Dov M. Gabbay
Libristo-code: 01396493
Uitgeverij Springer, augustus 2000
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in no... Volledige beschrijving
? points 290 b
119.88 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

TOP
Atlantida - Elita v hledání nesmrtelnosti Anastasia Novych / Boek Gebonden (harde band)
common.buy 12.76 €
TOP
Manga. Kolorowanka antystresowa. Zagadkowe rysunki William Bal / Boek Gebonden (paperback)
common.buy 8.10 €
La Caseta de fusta CARLA ZAPLANA / Boek Gebonden (harde band)
common.buy 26.75 €
Esigenze speciali basate sul processo Jayashree Subrahmanyam / Boek Gebonden (paperback)
common.buy 32.12 €
Blanco 18/19 Gómez / Boek Boek
common.buy 22.59 €
Franz Bopp: Sein Leben Und Seine Wissenschaft Salomon Lefmann / Boek Gebonden (harde band)
common.buy 31.71 €
A Question of Geography: How Can it Rain Fish? Clive Gifford / Boek Gebonden (harde band)
common.buy 17.62 €
JeBouffe-Express Les Tomates de l'entree au dessert JeBouffe / E-book Adobe ePub DRM
common.buy 1.10 €
TOP
Pil C: Odsúdení na úspech Pil C Audio Audio cd
common.buy 15.50 €
123 con Peppa Eone / Boek Gebonden (paperback)
common.buy 10.83 €
Létavice touhy Radim Kopáč / Boek Gebonden (paperback)
common.buy 10.12 €
LE ROBERT BENJAMIN / Boek Gebonden (harde band)
common.buy 19.14 €
Die Quellen der Wissenschaftsauffassung Max Webers und die Problematik der Werturteilsfreiheit der Nationalökonomie. Walther Wegener / Boek Gebonden (paperback)
common.buy 56.14 €
Küchen Thomas Hausberg / Boek Gebonden (harde band)
common.buy 40.73 €
Grafin Franziska zu Reventlow Isabel Gotovac / Boek Gebonden (paperback)
common.buy 16.21 €
Geheimagent NR. 6 Edgar Wallace / Boek Gebonden (paperback)
common.buy 9.01 €
Kampf um die Macht der Sumeraner Aline Krüger / Boek Gebonden (harde band)
common.buy 11.85 €
La Legende de L'Etre: Langage Et Poesie Chez Heidegger Arion L. Kelkel / Boek Gebonden (paperback)
common.buy 96.78 €
El secreto del eneagrama : un sistema que revela las claves de la personalidad Klausbernd Vollmar / Boek Gebonden (paperback)
common.buy 19.35 €
Topica Epigrammatum Dedicatoriorum Graecorum (1906) Hugo Kuhn / Boek Gebonden (paperback)
common.buy 21.27 €
TOP
Spitfire Mk. V - 3.díl Miroslav Šnajdr / Boek Gebonden (paperback)
common.buy 3.54 €
Retrozáložka Tatra - RZ 004 / Boek binding.
common.buy 2.02 €
Študijná technológia L. Ron Hubbard / Boek Boek
common.buy 3.94 €
L'Assommoir Émile Zola / Boek Gebonden (paperback)
common.buy 8.60 €

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.

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 Goal-Directed Proof Theory
Auteur Dov M. Gabbay, N. Olivetti
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2000
Aantal pagina's 268
EAN 9780792364733
ISBN 0792364732
Libristo-code 01396493
Uitgeverij Springer
Gewicht 1270
Afmetingen 156 x 234 x 20

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Filosofie en religie > Filosofie > Onderwerpen in de filosofie > Filosofie: logica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
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

LA MUSIQUE ELLIOTT CARTER / Boek Gebonden (paperback)
common.buy 11.64 €
FREDERICK DELIUS FREDERICK DELIUS / Boek Gebonden (harde band)
common.buy 38.40 €
Are You My Best Buddy? Heidi Michelle Gobble / Boek Gebonden (paperback)
common.buy 14.58 €
Scouts of the Valley, a Story of Wyoming and the Chemung Joseph A. Altsheler / Boek Gebonden (paperback)
common.buy 24.41 €
KING OF THE AIR: OR, TO MOROCCO ON AN AI HERBERT STRANG / Boek Gebonden (harde band)
common.buy 33.64 €
Comportamiento del Consumidor Wayne (University of Texas Hoyer / Boek Gebonden (paperback)
common.buy 82.79 €
Spassky's Best Games: A Chess Biography Dmitry Aleynikov / Boek Gebonden (harde band)
common.buy 31.31 €
TOP
Play with Your Cat!: The Essential Guide to Interactive Play for a Happier, Healthier Feline Delgado / Boek Gebonden (paperback)
common.buy 17.22 €
Those Who Bully and Those Who Are Bullied Kristin Westberg / Boek Gebonden (paperback)
common.buy 13.98 €
Extreme Machines Ian Stevens / Boek Gebonden (harde band)
common.buy 27.15 €
Janna's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Boek Gebonden (paperback)
common.buy 7.69 €
Electric Pictures Ellen Cheshire / Boek Gebonden (paperback)
common.buy 17.22 €
Drawing Animals: 30th Anniversary Edition Norman Adams / Boek Gebonden (paperback)
common.buy 20.56 €
Oklahoma City Zoo:: 1902-1959 Amy Dee Stephens / Boek Gebonden (paperback)
common.buy 22.18 €
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 / Boek Gebonden (harde band)
common.buy 43.06 €
Thirsty Mike (University of Manchester) Sanders / Boek Gebonden (paperback)
common.buy 17.32 €
The North American Review V49 (1839) North American Review Corporation / Boek Gebonden (paperback)
common.buy 40.22 €
Palgrave Handbook of National Security Michael Clarke / Boek Gebonden (harde band)
common.buy 265.82 €
Sandwich: A Simple Sandwich Cookbook with Delicious Sandwich Recipes (2nd Edition) Booksumo Press / Boek Gebonden (paperback)
common.buy 10.53 €
Church Principles on the Basis of the Church Catechism John Macbeth / Boek Gebonden (paperback)
common.buy 18.43 €
The Resurrection Of Truth (1913) Wilber Eddy / Boek Gebonden (paperback)
common.buy 23.10 €
Confinement PRIX PICTET / Boek Gebonden (harde band)
common.buy 49.45 €
Red Flags Hazel-Ann Pariag / Boek Gebonden (paperback)
common.buy 9.52 €
Innovate Inside the Box Katie Novak / Boek Gebonden (paperback)
common.buy 22.39 €

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