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 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Executable Modal and Temporal Logics

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

Língua InglêsInglês
Livro Capa mole
Livro Executable Modal and Temporal Logics Michael Fisher
Código Libristo: 05274453
Editoras Springer, Berlin, novembro 1994
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda... Descrição completa
? points 111 b
46.07 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Kernfragen. Psychologie Marcus Weeks / Livro Livro de capa dura
common.buy 11.13 €
Bedeutung der Ladenoeffnungszeiten aus einzel- und gesamtwirtschaftlicher Sicht Jeanne d'Arc Sankari Slodowicz / Livro Capa mole
common.buy 33.92 €
Engelkarten, Kartenset Jana Haas / Jogo/brinquedo Jogo
common.buy 16.90 €
Philosophische Bildung Volker Steenblock / Livro Capa mole
common.buy 15.79 €
Fils d'emigre Ernest Daudet / Livro Capa mole
common.buy 18.22 €
Prince Valiant Hal Foster / Livro Livro de capa dura
common.buy 35.74 €
Wundervolle Wellness- und Wohlfühlmusik für eine herrlich entspannte Traumzeit, Audio-CD Frank Tuppek / Áudio CD de áudio
common.buy 7.48 €

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.

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 Executable Modal and Temporal Logics
Autor Michael Fisher, Richard Owens
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1995
Número de páginas 188
EAN 9783540589761
ISBN 3540589767
Código Libristo 05274453
Editoras Springer, Berlin
Peso 295
Dimensões 156 x 234 x 10

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 > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Informática & tecnologia da informação > Programação & engenharia informática
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

Introduction to Markov State Models and Their Application to Long Timescale Molecular Simulation Gregory R Bowman / Livro Livro de capa dura
common.buy 165.28 €
Staying Dry Kathryn L. Burgio / Livro Capa mole
common.buy 31.69 €
THE CHARANGON CHORD BIBLE: CFADA STANDAR TOBE A. RICHARDS / Livro Capa mole
common.buy 22.17 €
Crestfield can't find my way home: can't find my way home Jack / Livro Capa mole
common.buy 10.42 €
2017 Anthology Read Write / Livro Capa mole
common.buy 7.28 €
The Coming Prince Sir Robert Anderson / Livro Capa mole
common.buy 23.99 €
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 / Livro Capa mole
common.buy 12.75 €
I Ching: Passages 3. split (he/she) edition King Wen / Livro Capa mole
common.buy 5.66 €
Terreldor: The Long Path Home Chris M Hibbard / Livro Capa mole
common.buy 10.83 €
Time of Gratitude Gennady Aygi / Livro Capa mole
common.buy 14.27 €
Spider-man Vs. The Vulture Stan Lee / Livro Capa mole
common.buy 27.84 €
Acoustic Guitar Owner's Manual: The Complete Guide String Letter Publishing / Livro Capa mole
common.buy 14.88 €
Tristen's Reading Log Martha Day Zschock / Livro Livro de capa dura
common.buy 12.85 €
Kaspar Hauser Martin Kitchen / Livro Capa mole
common.buy 99.15 €
Biographical History of the County of Litchfield, Connecticut Payne Kenyon Kilbourne / Livro Livro de capa dura
common.buy 37.87 €
Frantic Woman's Guide To Feeding Family And Friends Mary Jo Rulnick / Livro Capa mole
common.buy 17.51 €
Strength-Based Cognitive Behaviour Therapy Approach to Recovery Wong / Livro Capa mole
common.buy 50.94 €
Not Dead Yet and Other Stories Hadley Moore / Livro Capa mole
common.buy 11.03 €
Professional Issues in Clinical Psychology Will Curvis / Livro Capa mole
common.buy 38.27 €
Principal
Gentle and Lowly Dane C. Ortlund / Livro Livro de capa dura
common.buy 12.85 €
English Czech 500 Flashcards with Pictures for Babies: Learning homeschool frequency words flash cards for child toddlers preschool kindergarten and k Julie Brighter / Livro Capa mole
common.buy 10.32 €
Welcome to the United States of Anxiety / Livro Livro de capa dura
common.buy 20.35 €
Persian Fables and Fairy Tales Keyvan Moghissi / Livro Capa mole
common.buy 10.32 €
Radical Confidence Lisa Bilyeu / Livro Capa mole
common.buy 20.15 €

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