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 (paperback)
Boek Goal-Directed Proof Theory Dov M. Gabbay
Libristo-code: 01974140
Uitgeverij Springer, december 2010
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in no... Volledige beschrijving
? points 249 b
103.20 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Le sida, propagation et prévention Henri / Boek Gebonden (paperback)
common.buy 6.07 €
Álvaro del Portillo. Una semblança personal Bernal / Boek Gebonden (paperback)
common.buy 16.52 €
Juegos inteligentes : la construcción temprana de la mente a través del juego B. Nikitin / Boek Gebonden (paperback)
common.buy 18.44 €
Turismo, el Turista y el Derecho del Turismo Gustavo Néstor Fernández / Boek Gebonden (paperback)
common.buy 13.07 €
Ana de Avonlea Lucy Maud Montgomery / Boek Gebonden (harde band)
common.buy 17.83 €
Dinastija Gucci Sara Gay Forden / Boek Gebonden (paperback)
common.buy 17.23 €
Handbuch Geldscheinsammeln Hans L Grabowski / Boek Gebonden (paperback)
common.buy 16.92 €
Stapelturm Leuchtturm Großer Ozean / Spel/speelgoed Speelgoed
common.buy 15.10 €
High Protein Vegan Rose Wyles / Boek Gebonden (harde band)
common.buy 15.81 €
Mon coffret Famille Souris Iwamura Kazuo / Boek binding.
common.buy 22.90 €
Intérieur nuit Nicolas Demorand / Boek Gebonden (paperback)
common.buy 22.60 €
Демиан Герман Гессе / Boek Gebonden (harde band)
common.buy 16.72 €
Sur le chemin de haute solitude. Postface de Daniel-Henri Pageaux. Sobhi / Boek Gebonden (paperback)
common.buy 25.03 €
Mille Feuilles - guide pédagogique - CM2 Alain Bondot / Boek Gebonden (paperback)
common.buy 35.98 €
Traite d'Arithmetique Ouvrage Analytique Bonnefin-N / Boek Gebonden (paperback)
common.buy 31.22 €
Stellt die Fokussierung der NPD auf die junge Wahlerschaft eine Gefahr fur das demokratische Denken dar? N. H. / Boek Gebonden (paperback)
common.buy 17.12 €
En avant, 1 ESO José Cabrera / Boek Gebonden (paperback)
common.buy 59.61 €
Historia íntima de la humanidad Theodore Zeldin / Boek Gebonden (paperback)
common.buy 28.07 €
Evolution Und Spieltheorie Ulrich Mueller / Boek Gebonden (harde band)
common.buy 90.12 €
Lehrbuch der theoretischen Chemie, 2 Tle. Wilhelm Vaubel / Boek Gebonden (paperback)
common.buy 48.35 €
Vademecum Labormedizin Michael Pietsch / Boek Gebonden (harde band)
common.buy 87.89 €
German Arctic Expedition of 1869-1870 Karl Koldewey / Boek Gebonden (paperback)
common.buy 49.06 €
Der Begriff Person bei Kant und neurologische Erkenntnisse Kurt-Dietrich Rathke / Boek Gebonden (paperback)
common.buy 25.64 €
Sphärendynamik I. Bd.1 Georg Pfleiderer / Boek Gebonden (paperback)
common.buy 44.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 (paperback)
Datum van uitgifte 2010
Aantal pagina's 268
EAN 9789048155262
ISBN 9048155266
Libristo-code 01974140
Uitgeverij Springer
Gewicht 438
Afmetingen 155 x 235 x 16

Categorieën

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

BELOW THE CATARACTS 1907 WALTER TYNDALE / Boek Gebonden (harde band)
common.buy 48.76 €
diary of William Hedges during his agency in Bengal William Hedges / Boek Gebonden (paperback)
common.buy 23.31 €
Project and Policy Evaluation in Transport GIORGI / Boek Gebonden (harde band)
common.buy 152.68 €
The Beautiful Golden Butterfly MR David J Hastings / Boek Gebonden (paperback)
common.buy 13.07 €
HILLARY 4D Sara Marshall / Audio Audio cd
common.buy 22.60 €
Double Trouble: The First Adventures of Conrad Yost Ryan T Shaw / Boek Gebonden (paperback)
common.buy 19.36 €
Untitled Tan Book 3 Sue Lynn Tan / Boek Gebonden (harde band)
common.buy 21.69 €
Ten Elderly Victims from Intermediate Care Facility Fire: Colorado Springs, Colorado U S Fire Administration / Boek Gebonden (paperback)
common.buy 13.07 €
Anaya's Reading Log Martha Day Zschock / Boek Gebonden (harde band)
common.buy 15.81 €
A Dictionary of Old English Plays; Existing Either in Print or in Manuscript, from the Earliest Times to the Close of the Seventeenth Century; Inclu J. O. Halliwell-Phillipps / Boek Gebonden (paperback)
common.buy 26.05 €
Diary of a Worm Doreen Cronin / Boek Gebonden (harde band)
common.buy 15.81 €
(Im)perfection Subverted, Reloaded and Networked: Utopian Discourse across Media Barbara Klonowska / Boek Gebonden (harde band)
common.buy 79.58 €
Strong Brands, Strong Relationships Susan Fournier / Boek Gebonden (paperback)
common.buy 89.92 €
Green Peas Marcia D Dial / Boek Gebonden (harde band)
common.buy 27.57 €
To Be a Journalist Roul Tunley / Boek Gebonden (paperback)
common.buy 18.04 €
Beating the Lilies Matthew Young / Boek Gebonden (paperback)
common.buy 17.73 €
My Skateboard Maoliosa Kelly / Boek Gebonden (paperback)
common.buy 6.07 €
Third Ghost Story MEGAPACK(R) Gertrude Atherton / Boek Gebonden (paperback)
common.buy 17.53 €
Social Sciences for an Other Politics ANA CECI DINERSTEIN / Boek Gebonden (paperback)
common.buy 58.69 €
Gloria in Excelsis WILLIAM WILLIAMS / Boek Gebonden (harde band)
common.buy 29.80 €
Bonds of Civility Eiko Ikegami / Boek Gebonden (paperback)
common.buy 45.21 €
Apollo and Daphne HANDEL / Boek Gebonden (paperback)
common.buy 33.55 €
How To Be A Domestic Goddess Nigella Lawson / Boek Gebonden (harde band)
common.buy 28.07 €
Loot Tania James / Luisterboek MP3
common.buy 12.46 €

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