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.

Temporal Logic

First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Temporal Logic Dov M. Gabbay
Libristo-code: 05274404
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juni 1994
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICT... Volledige beschrijving
? points 280 b
115.86 €
In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Endokrinologie Michael Krieg / Boek Gebonden (paperback)
common.buy 77.17 €
Pop for Violin, m. Audio-CD. Vol.2 / Boek Gebonden (paperback)
common.buy 24.70 €
Gespräche mit Tieren Penelope Smith / Boek Gebonden (harde band)
common.buy 15.69 €
Rocco Randale 09 - Erste Hilfe mit Senf Alan MacDonald / Boek Gebonden (harde band)
common.buy 11.54 €
Dormi bene, piccolo lupo - Aludj jol, Kisfarkas (italiano - ungherese) Ulrich Renz / Boek Gebonden (paperback)
common.buy 14.47 €
PAYBACK 2014, 1 Blu-ray John/Bryan Cena / Video Blu-ray
common.buy 18.93 €
Unterredung zwischen einem Deutschen Reichsfursten und einem seiner Rate Schulin / Boek Gebonden (paperback)
common.buy 11.74 €
TOP
Liebesfreud - Liebesleid Fritz Kreisler / Boek Gebonden (paperback)
common.buy 27.13 €
Pieces de Poesie Pour Le Prix de l'Annee 1706 Sans Auteur / Boek Gebonden (paperback)
common.buy 13.66 €
Apport me thodologique a la conception et mise en oeuvre des projets Alejandro Sandoval-Correa / Boek Gebonden (paperback)
common.buy 61.57 €
Diercke Geographie - Ausgabe 2008 Sachsen-Anhalt Notburga Protze / Boek Blad
common.buy 7.59 €

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.

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 Temporal Logic
Auteur Dov M. Gabbay, Hans J. Ohlbach
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1994
Aantal pagina's 551
EAN 9783540582410
ISBN 354058241X
Libristo-code 05274404
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1740
Afmetingen 155 x 235 x 31

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 > Computerprogrammering / softwareontwikkeling > Databank programmeren
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Databanken
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

Temporal Logic: Volume 2 Dov M. Gabbay / Boek Gebonden (harde band)
common.buy 321.66 €
Temporal Logic: Volume 1 Dov M. Gabbay / Boek Gebonden (harde band)
common.buy 514.51 €
Digital Nomad Secrets: A Step-By-Step Guide To Working Digitally From Anywhere In The World Ron Kness / Boek Gebonden (paperback)
common.buy 19.33 €
Danger in the Wind Jane Finnis / Boek Gebonden (paperback)
common.buy 17.61 €
Toy Australian Shepherd. Toy Australian Shepherd Dog Complete Owners Manual. Toy Australian Shepherd book for care, costs, feeding, grooming, health a George Hoppendale / Boek Gebonden (paperback)
common.buy 15.59 €
Field Trip Mad Libs Mickie Matheis / Boek Gebonden (paperback)
common.buy 6.47 €
Saugerties Edward Poll / Boek Gebonden (paperback)
common.buy 22.17 €
Timed Readings: Book Five: Fifty 400-Word Passages with Questions for Building Reading Speed Edward Spargo / Boek Gebonden (paperback)
common.buy 34.22 €
Uist 12 Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology Uist 12 Conference Committee / Boek Gebonden (paperback)
common.buy 164.88 €
Fairmont Bears Go To Radium Joan Olsen / Boek Gebonden (paperback)
common.buy 21.26 €
Gears of a Mad God Omnibus Brent Nichols / Boek Gebonden (paperback)
common.buy 11.23 €
Plotinus, V1: The First, Second and Third Ennead Stephen MacKenna / Boek Gebonden (paperback)
common.buy 39.29 €
All the Books of the Bible: Nehemiah M E Rosson / Boek Gebonden (paperback)
common.buy 12.14 €
Scholar's Challenge Julian Bauer / Boek Gebonden (paperback)
common.buy 26.22 €
Psychoanalysis - Sleep and Dreams ANDRE TRIDON / Boek Gebonden (paperback)
common.buy 16.20 €
Abandoned Derek Hart / Boek Gebonden (paperback)
common.buy 25.11 €
First Stop Brooklyn: A selection of twenty-five short chronicles on life in Old Brooklyn. Harrison Gross / Boek Gebonden (paperback)
common.buy 10.22 €
The Arrow-Maker Mary Hunter Austin / Boek Gebonden (paperback)
common.buy 7.69 €
Primogeniture: A Short History Of Its Development In Various Countries And Its Practical Effects (1895) Evelyn Cecil / Boek Gebonden (harde band)
common.buy 43.03 €
Wordt verwacht
Treasury of the True Dharma Eye Soto Zen Text Project / Boek Gebonden (paperback)
common.buy 234.56 €
First-Century Palestinian Judaism David Ray Bourquin / Boek Gebonden (harde band)
common.buy 32.81 €
Introduction to the Principles of Plant Taxonomy V. V. SivarajanN. K. P. Robson / Boek Gebonden (paperback)
common.buy 87.80 €
Biology of the Autistic Syndromes Mary Coleman / Boek Gebonden (harde band)
common.buy 100.87 €
Psychological and Transcendental Phenomenology and the Confrontation with Heidegger (1927-1931) Edmund Husserl / Boek Gebonden (paperback)
common.buy 154.55 €

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?