Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar

Temporal Logic

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

Língua InglêsInglês
Livro Capa mole
Livro Temporal Logic Dov M. Gabbay
Código Libristo: 05274404
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 1994
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICT... Descrição completa
? points 240 b
98.84 €
Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Endokrinologie Michael Krieg / Livro Capa mole
common.buy 68.55 €
Pop for Violin, m. Audio-CD. Vol.2 / Livro Capa mole
common.buy 20.39 €
Gespräche mit Tieren Penelope Smith / Livro Livro de capa dura
common.buy 13.72 €
Rocco Randale 09 - Erste Hilfe mit Senf Alan MacDonald / Livro Livro de capa dura
common.buy 9.18 €
Dormi bene, piccolo lupo - Aludj jol, Kisfarkas (italiano - ungherese) Ulrich Renz / Livro Capa mole
common.buy 12.31 €
PAYBACK 2014, 1 Blu-ray John/Bryan Cena / Vídeo Blu-ray
common.buy 16.95 €
Unterredung zwischen einem Deutschen Reichsfursten und einem seiner Rate Schulin / Livro Capa mole
common.buy 10.29 €
Principal
Liebesfreud - Liebesleid Fritz Kreisler / Livro Capa mole
common.buy 22.30 €
Pieces de Poesie Pour Le Prix de l'Annee 1706 Sans Auteur / Livro Capa mole
common.buy 11.60 €
Apport me thodologique a la conception et mise en oeuvre des projets Alejandro Sandoval-Correa / Livro Capa mole
common.buy 54.11 €
Diercke Geographie - Ausgabe 2008 Sachsen-Anhalt Notburga Protze / Livro Folha
common.buy 6.86 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Temporal Logic
Autor Dov M. Gabbay, Hans J. Ohlbach
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1994
Número de páginas 551
EAN 9783540582410
ISBN 354058241X
Código Libristo 05274404
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1740
Dimensões 155 x 235 x 31

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
Informática & tecnologia da informação > Programação & engenharia informática > Programação de bases de dados
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Análise e conceção de sistemas
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Informática & tecnologia da informação > Bases de dados
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Temporal Logic: Volume 2 Dov M. Gabbay / Livro Livro de capa dura
common.buy 279.98 €
Temporal Logic: Volume 1 Dov M. Gabbay / Livro Livro de capa dura
common.buy 448.80 €
Digital Nomad Secrets: A Step-By-Step Guide To Working Digitally From Anywhere In The World Ron Kness / Livro Capa mole
common.buy 16.35 €
Danger in the Wind Jane Finnis / Livro Capa mole
common.buy 15.64 €
Toy Australian Shepherd. Toy Australian Shepherd Dog Complete Owners Manual. Toy Australian Shepherd book for care, costs, feeding, grooming, health a George Hoppendale / Livro Capa mole
common.buy 13.32 €
Field Trip Mad Libs Mickie Matheis / Livro Capa mole
common.buy 5.14 €
Saugerties Edward Poll / Livro Capa mole
common.buy 17.05 €
Timed Readings: Book Five: Fifty 400-Word Passages with Questions for Building Reading Speed Edward Spargo / Livro Capa mole
common.buy 30.99 €
Uist 12 Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology Uist 12 Conference Committee / Livro Capa mole
common.buy 142.86 €
Fairmont Bears Go To Radium Joan Olsen / Livro Capa mole
common.buy 18.27 €
Gears of a Mad God Omnibus Brent Nichols / Livro Capa mole
common.buy 9.48 €
Plotinus, V1: The First, Second and Third Ennead Stephen MacKenna / Livro Capa mole
common.buy 33.41 €
All the Books of the Bible: Nehemiah M E Rosson / Livro Capa mole
common.buy 10.29 €
Scholar's Challenge Julian Bauer / Livro Capa mole
common.buy 22.51 €
Psychoanalysis - Sleep and Dreams ANDRE TRIDON / Livro Capa mole
common.buy 14.23 €
Abandoned Derek Hart / Livro Capa mole
common.buy 21.29 €
First Stop Brooklyn: A selection of twenty-five short chronicles on life in Old Brooklyn. Harrison Gross / Livro Capa mole
common.buy 8.67 €
The Arrow-Maker Mary Hunter Austin / Livro Capa mole
common.buy 6.45 €
Primogeniture: A Short History Of Its Development In Various Countries And Its Practical Effects (1895) Evelyn Cecil / Livro Livro de capa dura
common.buy 36.64 €
Em breve
Treasury of the True Dharma Eye Soto Zen Text Project / Livro Capa mole
common.buy 196.88 €
First-Century Palestinian Judaism David Ray Bourquin / Livro Livro de capa dura
common.buy 28.06 €
Introduction to the Principles of Plant Taxonomy V. V. SivarajanN. K. P. Robson / Livro Capa mole
common.buy 75.41 €
Biology of the Autistic Syndromes Mary Coleman / Livro Livro de capa dura
common.buy 85.92 €
Psychological and Transcendental Phenomenology and the Confrontation with Heidegger (1927-1931) Edmund Husserl / Livro Capa mole
common.buy 132.06 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?