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.

Executable Modal and Temporal Logics

IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Executable Modal and Temporal Logics Michael Fisher
Libristo-code: 05274453
Uitgeverij Springer, Berlin, november 1994
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Kernfragen. Psychologie Marcus Weeks / Boek Gebonden (harde band)
common.buy 12.75 €
Bedeutung der Ladenoeffnungszeiten aus einzel- und gesamtwirtschaftlicher Sicht Jeanne d'Arc Sankari Slodowicz / Boek Gebonden (paperback)
common.buy 38.38 €
Engelkarten, Kartenset Jana Haas / Spel/speelgoed Spel
common.buy 19.33 €
Philosophische Bildung Volker Steenblock / Boek Gebonden (paperback)
common.buy 19.74 €
Fils d'emigre Ernest Daudet / Boek Gebonden (paperback)
common.buy 20.55 €
Prince Valiant Hal Foster / Boek Gebonden (harde band)
common.buy 40.30 €
Wundervolle Wellness- und Wohlfühlmusik für eine herrlich entspannte Traumzeit, Audio-CD Frank Tuppek / Audio Audio cd
common.buy 8.50 €

This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming.This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented.

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 Executable Modal and Temporal Logics
Auteur Michael Fisher, Richard Owens
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1995
Aantal pagina's 188
EAN 9783540589761
ISBN 3540589767
Libristo-code 05274453
Uitgeverij Springer, Berlin
Gewicht 295
Afmetingen 156 x 234 x 10

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)
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
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

Introduction to Markov State Models and Their Application to Long Timescale Molecular Simulation Gregory R Bowman / Boek Gebonden (harde band)
common.buy 185.34 €
Staying Dry Kathryn L. Burgio / Boek Gebonden (paperback)
common.buy 36.25 €
THE CHARANGON CHORD BIBLE: CFADA STANDAR TOBE A. RICHARDS / Boek Gebonden (paperback)
common.buy 25.41 €
Crestfield can't find my way home: can't find my way home Jack / Boek Gebonden (paperback)
common.buy 12.24 €
2017 Anthology Read Write / Boek Gebonden (paperback)
common.buy 8.60 €
The Coming Prince Sir Robert Anderson / Boek Gebonden (paperback)
common.buy 28.35 €
The Most Influential Rock Stars of the 1960s: The Lives of John Lennon, Paul McCartney, Bob Dylan, Jimi Hendrix, Janis Joplin, and Jim Morrison Charles River Editors / Boek Gebonden (paperback)
common.buy 15.08 €
I Ching: Passages 3. split (he/she) edition King Wen / Boek Gebonden (paperback)
common.buy 6.78 €
Terreldor: The Long Path Home Chris M Hibbard / Boek Gebonden (paperback)
common.buy 12.75 €
Time of Gratitude Gennady Aygi / Boek Gebonden (paperback)
common.buy 17.01 €
Spider-man Vs. The Vulture Stan Lee / Boek Gebonden (paperback)
common.buy 31.29 €
Acoustic Guitar Owner's Manual: The Complete Guide String Letter Publishing / Boek Gebonden (paperback)
common.buy 16.70 €
Tristen's Reading Log Martha Day Zschock / Boek Gebonden (harde band)
common.buy 15.79 €
Kaspar Hauser Martin Kitchen / Boek Gebonden (paperback)
common.buy 119.81 €
Biographical History of the County of Litchfield, Connecticut Payne Kenyon Kilbourne / Boek Gebonden (harde band)
common.buy 42.53 €
Frantic Woman's Guide To Feeding Family And Friends Mary Jo Rulnick / Boek Gebonden (paperback)
common.buy 21.16 €
Strength-Based Cognitive Behaviour Therapy Approach to Recovery Wong / Boek Gebonden (paperback)
common.buy 58.63 €
Not Dead Yet and Other Stories Hadley Moore / Boek Gebonden (paperback)
common.buy 14.07 €
Professional Issues in Clinical Psychology Will Curvis / Boek Gebonden (paperback)
common.buy 44.15 €
TOP
Gentle and Lowly Dane C. Ortlund / Boek Gebonden (harde band)
common.buy 15.79 €
English Czech 500 Flashcards with Pictures for Babies: Learning homeschool frequency words flash cards for child toddlers preschool kindergarten and k Julie Brighter / Boek Gebonden (paperback)
common.buy 12.14 €
Welcome to the United States of Anxiety / Boek Gebonden (harde band)
common.buy 22.88 €
Persian Fables and Fairy Tales Keyvan Moghissi / Boek Gebonden (paperback)
common.buy 12.14 €
Radical Confidence Lisa Bilyeu / Boek Gebonden (paperback)
common.buy 20.15 €

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?