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
102.93 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Русская грамматика в картинках для начинающих. Кто? Где? Когда? Г Малышев / Boek Gebonden (paperback)
common.buy 34.87 €
Turismo, el Turista y el Derecho del Turismo Gustavo Néstor Fernández / Boek Gebonden (paperback)
common.buy 13.03 €
Демиан Герман Гессе / Boek Gebonden (harde band)
common.buy 16.67 €
Dinastija Gucci Sara Gay Forden / Boek Gebonden (paperback)
common.buy 17.18 €
Stapelturm Leuchtturm Großer Ozean / Spel/speelgoed Speelgoed
common.buy 15.06 €
High Protein Vegan Rose Wyles / Boek Gebonden (harde band)
common.buy 15.76 €
Mon coffret Famille Souris Iwamura Kazuo / Boek binding.
common.buy 23.25 €
Sphärendynamik I. Bd.1 Georg Pfleiderer / Boek Gebonden (paperback)
common.buy 44.58 €
Álvaro del Portillo. Una semblança personal Bernal / Boek Gebonden (paperback)
common.buy 16.47 €
Le sida, propagation et prévention Henri / Boek Gebonden (paperback)
common.buy 6.36 €
Traite d'Arithmetique Ouvrage Analytique Bonnefin-N / Boek Gebonden (paperback)
common.buy 31.13 €
Historia íntima de la humanidad Theodore Zeldin / Boek Gebonden (paperback)
common.buy 28.00 €
Evolution Und Spieltheorie Ulrich Mueller / Boek Gebonden (harde band)
common.buy 89.88 €
Lehrbuch der theoretischen Chemie, 2 Tle. Wilhelm Vaubel / Boek Gebonden (paperback)
common.buy 48.32 €
German Arctic Expedition of 1869-1870 Karl Koldewey / Boek Gebonden (paperback)
common.buy 48.93 €
Der Begriff Person bei Kant und neurologische Erkenntnisse Kurt-Dietrich Rathke / Boek Gebonden (paperback)
common.buy 25.67 €

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

Beating the Lilies Matthew Young / Boek Gebonden (paperback)
common.buy 17.28 €
Project and Policy Evaluation in Transport GIORGI / Boek Gebonden (harde band)
common.buy 139.23 €
Untitled Tan Book 3 Sue Lynn Tan / Boek Gebonden (harde band)
common.buy 21.53 €
Double Trouble: The First Adventures of Conrad Yost Ryan T Shaw / Boek Gebonden (paperback)
common.buy 19.30 €
Anaya's Reading Log Martha Day Zschock / Boek Gebonden (harde band)
common.buy 15.76 €
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 25.98 €
Diary of a Worm Doreen Cronin / Boek Gebonden (harde band)
common.buy 15.76 €
(Im)perfection Subverted, Reloaded and Networked: Utopian Discourse across Media Barbara Klonowska / Boek Gebonden (harde band)
common.buy 79.37 €
Strong Brands, Strong Relationships Susan Fournier / Boek Gebonden (paperback)
common.buy 85.53 €
Green Peas Marcia D Dial / Boek Gebonden (harde band)
common.buy 27.49 €
To Be a Journalist Roul Tunley / Boek Gebonden (paperback)
common.buy 19.30 €
Lefebvre for Architects Nathaniel Coleman / Boek Gebonden (paperback)
common.buy 46.10 €
Agency and Changing World Views in Africa Dieter Neubert / Boek Gebonden (paperback)
common.buy 32.14 €
Gloria in Excelsis WILLIAM WILLIAMS / Boek Gebonden (harde band)
common.buy 29.72 €
New Perspectives on Human-Animal Interactions - Theory, Policy and Research Sarah Knight / Boek Gebonden (paperback)
common.buy 58.54 €
How To Be A Domestic Goddess Nigella Lawson / Boek Gebonden (harde band)
common.buy 27.59 €
Apollo and Daphne HANDEL / Boek Gebonden (paperback)
common.buy 33.86 €
Bonds of Civility Eiko Ikegami / Boek Gebonden (paperback)
common.buy 45.09 €
Social Sciences for an Other Politics ANA CECI DINERSTEIN / Boek Gebonden (paperback)
common.buy 58.54 €
Third Ghost Story MEGAPACK(R) Gertrude Atherton / Boek Gebonden (paperback)
common.buy 17.48 €

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?