Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Temporal Logic

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

Language EnglishEnglish
Book Paperback
Book Temporal Logic Dov M. Gabbay
Libristo code: 05274404
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 1994
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICT... Full description
? points 290 b
118.29 € VAT included
Low in stock at our supplier Shipping in 13-18 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Endokrinologie Michael Krieg / Book Paperback
common.buy 80.29 €
Pop for Violin, m. Audio-CD. Vol.2 / Book Paperback
common.buy 25.49 €
Gespräche mit Tieren Penelope Smith / Book Hardback
common.buy 18.50 €
Rocco Randale 09 - Erste Hilfe mit Senf Alan MacDonald / Book Hardback
common.buy 11.39 €
Dormi bene, piccolo lupo - Aludj jol, Kisfarkas (italiano - ungherese) Ulrich Renz / Book Paperback
common.buy 14.99 €
PAYBACK 2014, 1 Blu-ray John/Bryan Cena / Video Blu-ray
common.buy 19.59 €
Unterredung zwischen einem Deutschen Reichsfursten und einem seiner Rate Schulin / Book Paperback
common.buy 12.90 €
Top
Liebesfreud - Liebesleid Fritz Kreisler / Book Paperback
common.buy 27.99 €
Pieces de Poesie Pour Le Prix de l'Annee 1706 Sans Auteur / Book Paperback
common.buy 14.19 €
Apport me thodologique a la conception et mise en oeuvre des projets Alejandro Sandoval-Correa / Book Paperback
common.buy 64.39 €
Diercke Geographie - Ausgabe 2008 Sachsen-Anhalt Notburga Protze / Book Sheet
common.buy 7.89 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Temporal Logic
Author Dov M. Gabbay, Hans J. Ohlbach
Language English
Binding Book - Paperback
Date of issue 1994
Number of pages 551
EAN 9783540582410
ISBN 354058241X
Libristo code 05274404
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1740
Dimensions 155 x 235 x 31

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Database programming
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Databases
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Temporal Logic: Volume 2 Dov M. Gabbay / Book Hardback
common.buy 331.09 €
Temporal Logic: Volume 1 Dov M. Gabbay / Book Hardback
common.buy 507.99 €
Digital Nomad Secrets: A Step-By-Step Guide To Working Digitally From Anywhere In The World Ron Kness / Book Paperback
common.buy 20.09 €
Danger in the Wind Jane Finnis / Book Paperback
common.buy 18.39 €
Toy Australian Shepherd. Toy Australian Shepherd Dog Complete Owners Manual. Toy Australian Shepherd book for care, costs, feeding, grooming, health a George Hoppendale / Book Paperback
common.buy 16.09 €
Field Trip Mad Libs Mickie Matheis / Book Paperback
common.buy 6.29 €
Saugerties Edward Poll / Book Paperback
common.buy 21.89 €
Timed Readings: Book Five: Fifty 400-Word Passages with Questions for Building Reading Speed Edward Spargo / Book Paperback
common.buy 35.29 €
Uist 12 Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology Uist 12 Conference Committee / Book Paperback
common.buy 169.79 €
Fairmont Bears Go To Radium Joan Olsen / Book Paperback
common.buy 21.99 €
Gears of a Mad God Omnibus Brent Nichols / Book Paperback
common.buy 11.59 €
Plotinus, V1: The First, Second and Third Ennead Stephen MacKenna / Book Paperback
common.buy 40.69 €
All the Books of the Bible: Nehemiah M E Rosson / Book Paperback
common.buy 12.59 €
Scholar's Challenge Julian Bauer / Book Paperback
common.buy 27.09 €
Psychoanalysis - Sleep and Dreams ANDRE TRIDON / Book Paperback
common.buy 16.89 €
Abandoned Derek Hart / Book Paperback
common.buy 25.89 €
First Stop Brooklyn: A selection of twenty-five short chronicles on life in Old Brooklyn. Harrison Gross / Book Paperback
common.buy 10.69 €
The Arrow-Maker Mary Hunter Austin / Book Paperback
common.buy 7.99 €
Primogeniture: A Short History Of Its Development In Various Countries And Its Practical Effects (1895) Evelyn Cecil / Book Hardback
common.buy 44.59 €
Coming soon
Treasury of the True Dharma Eye Soto Zen Text Project / Book Paperback
common.buy 243.79 €
First-Century Palestinian Judaism David Ray Bourquin / Book Hardback
common.buy 33.99 €
Introduction to the Principles of Plant Taxonomy V. V. SivarajanN. K. P. Robson / Book Paperback
common.buy 90.79 €
Biology of the Autistic Syndromes Mary Coleman / Book Hardback
common.buy 104.39 €
Psychological and Transcendental Phenomenology and the Confrontation with Heidegger (1927-1931) Edmund Husserl / Book Paperback
common.buy 159.89 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?