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.31 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

A Question of Geography: How Can it Rain Fish? Clive Gifford / Boek Gebonden (harde band)
common.buy 17.54 €
zigomar n aime pas les legumes CORENTIN / Boek Gebonden (paperback)
common.buy 17.14 €
Esigenze speciali basate sul processo Jayashree Subrahmanyam / Boek Gebonden (paperback)
common.buy 31.96 €
TOP
Manga. Kolorowanka antystresowa. Zagadkowe rysunki William Bal / Boek Gebonden (paperback)
common.buy 8.06 €
La Caseta de fusta CARLA ZAPLANA / Boek Gebonden (harde band)
common.buy 26.42 €
Claus Störtebecker Georg Engel / Boek Gebonden (paperback)
common.buy 14.31 €
Biele noci, čierne dni Patrik Pašš / Boek Gebonden (paperback)
common.buy 12.19 €
Študijná technológia L. Ron Hubbard / Boek Boek
common.buy 3.92 €
123 con Peppa Eone / Boek Gebonden (paperback)
common.buy 10.78 €
El secreto del eneagrama : un sistema que revela las claves de la personalidad Klausbernd Vollmar / Boek Gebonden (paperback)
common.buy 19.15 €
La Legende de L'Etre: Langage Et Poesie Chez Heidegger Arion L. Kelkel / Boek Gebonden (paperback)
common.buy 96.72 €
Kampf um die Macht der Sumeraner Aline Krüger / Boek Gebonden (harde band)
common.buy 11.79 €
Geheimagent NR. 6 Edgar Wallace / Boek Gebonden (paperback)
common.buy 8.97 €
Grafin Franziska zu Reventlow Isabel Gotovac / Boek Gebonden (paperback)
common.buy 16.13 €
Küchen Thomas Hausberg / Boek Gebonden (harde band)
common.buy 40.54 €
Die Quellen der Wissenschaftsauffassung Max Webers und die Problematik der Werturteilsfreiheit der Nationalökonomie. Walther Wegener / Boek Gebonden (paperback)
common.buy 55.97 €
LE ROBERT BENJAMIN / Boek Gebonden (harde band)
common.buy 19.46 €
Létavice touhy Radim Kopáč / Boek Gebonden (paperback)
common.buy 9.27 €

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

FREDERICK DELIUS FREDERICK DELIUS / Boek Gebonden (harde band)
common.buy 38.52 €
LA MUSIQUE ELLIOTT CARTER / Boek Gebonden (paperback)
common.buy 11.59 €
Oklahoma City Zoo:: 1902-1959 Amy Dee Stephens / Boek Gebonden (paperback)
common.buy 22.08 €
Fundamentals of Equilibrium and Steady-State Thermodynamics N.W. Tschoegl / Boek Gebonden (harde band)
common.buy 255.48 €
Special Issue: Celebrating Name's 10th Anniversary Penelope L. Lisi / Boek Gebonden (paperback)
common.buy 39.83 €
Tony Evans Speaks Out on Spiritual Warfare Tony Evans / Boek Gebonden (paperback)
common.buy 8.36 €
The North American Review V49 (1839) North American Review Corporation / Boek Gebonden (paperback)
common.buy 40.03 €
Voordelig
Human-elephant interactions: From past to present Vangelis Tourloukis / Boek Gebonden (harde band)
common.buy 51.33 €
Thirsty Mike (University of Manchester) Sanders / Boek Gebonden (paperback)
common.buy 17.24 €
Graphs and Matrices Ravindra B. Bapat / Boek Gebonden (paperback)
common.buy 93.29 €
Drawing Animals: 30th Anniversary Edition Norman Adams / Boek Gebonden (paperback)
common.buy 19.96 €
Are You My Best Buddy? Heidi Michelle Gobble / Boek Gebonden (paperback)
common.buy 15.73 €
Extreme Machines Ian Stevens / Boek Gebonden (harde band)
common.buy 26.52 €
Palgrave Handbook of National Security Michael Clarke / Boek Gebonden (harde band)
common.buy 264.56 €
KING OF THE AIR: OR, TO MOROCCO ON AN AI HERBERT STRANG / Boek Gebonden (harde band)
common.buy 33.48 €
Scouts of the Valley, a Story of Wyoming and the Chemung Joseph A. Altsheler / Boek Gebonden (paperback)
common.buy 24.30 €
Electric Pictures Ellen Cheshire / Boek Gebonden (paperback)
common.buy 17.84 €
The Erotic Motive in Literature Albert Mordell / Boek Gebonden (paperback)
common.buy 19.66 €
Deep Learning for Security and Privacy Preservation in IoT Aaisha Makkar / Boek Gebonden (harde band)
common.buy 207.77 €
Taken Sue O'Callaghan / Boek Gebonden (paperback)
common.buy 26.92 €
Unequal Health Daniel Dorling / Boek Gebonden (paperback)
common.buy 43.77 €
Love Among The Artists George Bernard Shaw / Boek Gebonden (paperback)
common.buy 33.98 €
Living the Life You Love Paula Renaye / Boek Gebonden (paperback)
common.buy 14.82 €
Museum of Illusions Celine Delavaux / Boek Gebonden (harde band)
common.buy 33.28 €

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?