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.

A Resolution Principle for a Logic with Restricted Quantifiers

Taal EngelsEngels
Boek Gebonden (paperback)
Boek A Resolution Principle for a Logic with Restricted Quantifiers Hans-Jürgen Bürckert
Libristo-code: 05274239
Uitgeverij Springer, Berlin, november 1990
This monograph presents foundations for a constrained logic scheme treating constraints as a very ge... Volledige beschrijving
? points 125 b
51.78 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

LA VOZ LITERARIA DE MUJERES SINGULARES UCAR VENTURA / Boek Boek
common.buy 25.33 €
Crescent City (relié collector) - Tome 03 Maison de la flamme et de l'ombre Sarah J. Maas / Boek Gebonden (harde band)
common.buy 36.78 €
Das Fahrradbuch Spiegel Stefan / Boek Gebonden (harde band)
common.buy 39.62 €
Fantasy Collection: Fire Dragon / Spel/speelgoed Spel
common.buy 7.49 €
Leer Baskisch Met Plezier - Voor Kinderen LINGUAS CLASSICS / Boek Gebonden (paperback)
common.buy 15.00 €
Migration eines Mittelverwaltungssystems in eine Multiuserumgebung Martin Kneip / Boek Gebonden (paperback)
common.buy 47.32 €
Philosophie Grecque, le Logos sur la prière Antonios Peripatitis / Boek Gebonden (paperback)
common.buy 16.10 €
PONS Mondatról mondatra - Olasz A1 Katarzyna Foremniak / Boek Boek
common.buy 11.24 €
Che cos'è la dottrina pura del diritto Hans Kelsen / Boek Gebonden (paperback)
common.buy 21.68 €
VW Golf V, VW Touran Hans-Rüdiger Etzold / Boek Gebonden (paperback)
common.buy 30.19 €
Querflöte, Schülerheft Fine Mallus / Boek Gebonden (paperback)
common.buy 13.27 €
EL MISTERI DEL JUGADOR NÚMERO 13 ROBERTO SANTIAGO / Boek Gebonden (paperback)
common.buy 13.77 €
J. S. Bach Para Flauta Dulce Contralto: 10 Piezas F Easy Classical Masterworks / Boek Gebonden (paperback)
common.buy 9.41 €
Las frecuencias de los chakras / The Frequencies of the Chakras Jonathan Goldman / Boek Gebonden (paperback)
common.buy 29.68 €
Heortologie August Mommsen / Boek Gebonden (paperback)
common.buy 28.57 €
Banktresor 713, 1 DVD Werner Klingler / Video Dvd
common.buy 18.94 €

This monograph presents foundations for a constrained logic scheme treating constraints as a very general form of restricted quantifiers. The constraints - or quantifier restrictions - are taken from a general constraint system consisting of constraint theory and a set of distinguished constraints.The book provides a calculus for this constrained logic based on a generalization of Robinson's resolution principle. Technically, the unification procedure of the resolution rule is replaced by suitable constraint-solving methods. The calculus is proven sound and complete for there futation of sets of constrained clauses. Using a new and elegant generalization of the notion of a ground instance, the proof technique is a straight forward adaptation of the classical proof technique. The author demonstrates that the constrained logic scheme can be instantiated by well-known sorted logics ore quational theories and also by extensions of predicatelogics with general equational constraints or concept description languages.

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 A Resolution Principle for a Logic with Restricted Quantifiers
Auteur Hans-Jürgen Bürckert
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1991
Aantal pagina's 120
EAN 9783540550341
ISBN 3540550348
Libristo-code 05274239
Uitgeverij Springer, Berlin
Gewicht 230
Afmetingen 156 x 234 x 7

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
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

Food & Beverage Market Place: Volume 3 Laura Mars / Boek Gebonden (paperback)
common.buy 346.80 €
Quips and Cranks, 1908, Vol. 11 (Classic Reprint) H. S. Shaw / Boek Gebonden (paperback)
common.buy 17.02 €
Inglorious Disarray: Europe, Israel and the Palestinians Since 1967 Rory Miller / Boek Gebonden (harde band)
common.buy 45.09 €
Edible Oil Structuring Ashok R. Patel / Boek Gebonden (harde band)
common.buy 209.17 €
The Rise and Fall Of Studio One: Rise Again Lou Gooden / Boek Gebonden (paperback)
common.buy 17.62 €
No! MS Cheryl Johnson / Boek Gebonden (paperback)
common.buy 9.92 €
McStays, Taken Too Soon: A True Story Patrick McStay / Boek Gebonden (paperback)
common.buy 14.89 €
Angels' Lament Mj Pettengill / Boek Gebonden (paperback)
common.buy 13.98 €
Mournes / Drukwerk Kaart
common.buy 14.99 €
Sensing and Control for Autonomous Vehicles Thor I. Fossen / Boek Gebonden (paperback)
common.buy 206.13 €
Evidence-Based Practice in Clinical Social Work James W Drisko / Boek Gebonden (paperback)
common.buy 93.73 €
Damnation Eternal Damnation to the Fiend Begotten Coarser Food New Poorlaw Richard Oastler / Boek Gebonden (paperback)
common.buy 14.58 €
Professor Montgomery's Discoveries In Celestial Mechanics (1919) Leander A. Redman / Boek Gebonden (paperback)
common.buy 23.10 €
Voordelig
Magic Potions and Elixirs - Recipes and Spells for Kids in Magic Training Catherine Fet / Boek Gebonden (paperback)
common.buy 9.62 €
Industrial PID Controller Tuning José David Rojas / Boek Gebonden (paperback)
common.buy 127.58 €
Psychoemotional disorders associated with irritable bowel syndrome Ala Ben Issa / Boek Gebonden (paperback)
common.buy 39.31 €
Martin Crimp: Plays 3 Martin Crimp / E-book Adobe ePub DRM
common.buy 17.83 €
Elephants in My Backyard Rajiv Surendra / E-book Adobe ePub DRM
common.buy 17.32 €
Single Cell Analysis: Technologies and Future Prospects / Boek Gebonden (harde band)
common.buy 137.31 €
Grey Owl and Me Hap Wilson / Boek Gebonden (paperback)
common.buy 24.21 €
Modern Physics and its Philosophy M. Strauss / Boek Gebonden (paperback)
common.buy 51.78 €
Text World Theory Joanna Gavins / Boek Gebonden (harde band)
common.buy 138.43 €
Practically Profound James H. Hall / Boek Gebonden (paperback)
common.buy 63.94 €
Language of Atoms W. H. Shearin / Boek Gebonden (harde band)
common.buy 98.19 €

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?