«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Executable Modal and Temporal Logics

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

Idioma InglésInglés
Libro Tapa blanda
Libro Executable Modal and Temporal Logics Michael Fisher
Código Libristo: 05274453
Editores Springer, Berlin, noviembre 1994
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Kernfragen. Psychologie Marcus Weeks / Libro Tapa dura
common.buy 14.19 €
Bedeutung der Ladenoeffnungszeiten aus einzel- und gesamtwirtschaftlicher Sicht Jeanne d'Arc Sankari Slodowicz / Libro Tapa blanda
common.buy 42.39 €
Engelkarten, Kartenset Jana Haas / Juego/Juguete Juego
common.buy 21.49 €
Philosophische Bildung Volker Steenblock / Libro Tapa blanda
common.buy 19.89 €
Fils d'emigre Ernest Daudet / Libro Tapa blanda
common.buy 22.79 €
Prince Valiant Hal Foster / Libro Tapa dura
common.buy 44.09 €
Wundervolle Wellness- und Wohlfühlmusik für eine herrlich entspannte Traumzeit, Audio-CD Frank Tuppek / Audio CD de audio
common.buy 9.39 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Executable Modal and Temporal Logics
Autor Michael Fisher, Richard Owens
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1995
Número de páginas 188
EAN 9783540589761
ISBN 3540589767
Código Libristo 05274453
Editores Springer, Berlin
Peso 295
Dimensiones 156 x 234 x 10

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Inteligencia artificial
Computación e informática > Programación informática/desarrollo de software
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Introduction to Markov State Models and Their Application to Long Timescale Molecular Simulation Gregory R Bowman / Libro Tapa dura
common.buy 202.89 €
Staying Dry Kathryn L. Burgio / Libro Tapa blanda
common.buy 37.29 €
THE CHARANGON CHORD BIBLE: CFADA STANDAR TOBE A. RICHARDS / Libro Tapa blanda
common.buy 26.19 €
Crestfield can't find my way home: can't find my way home Jack / Libro Tapa blanda
common.buy 12.69 €
2017 Anthology Read Write / Libro Tapa blanda
common.buy 8.89 €
The Coming Prince Sir Robert Anderson / Libro Tapa blanda
common.buy 29.49 €
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 / Libro Tapa blanda
common.buy 15.59 €
I Ching: Passages 3. split (he/she) edition King Wen / Libro Tapa blanda
common.buy 6.99 €
Terreldor: The Long Path Home Chris M Hibbard / Libro Tapa blanda
common.buy 13.19 €
Time of Gratitude Gennady Aygi / Libro Tapa blanda
common.buy 18.09 €
Spider-man Vs. The Vulture Stan Lee / Libro Tapa blanda
common.buy 34.39 €
Acoustic Guitar Owner's Manual: The Complete Guide String Letter Publishing / Libro Tapa blanda
common.buy 18.29 €
Tristen's Reading Log Martha Day Zschock / Libro Tapa dura
common.buy 16.49 €
Kaspar Hauser Martin Kitchen / Libro Tapa blanda
common.buy 118.29 €
Biographical History of the County of Litchfield, Connecticut Payne Kenyon Kilbourne / Libro Tapa dura
common.buy 46.69 €
Frantic Woman's Guide To Feeding Family And Friends Mary Jo Rulnick / Libro Tapa blanda
common.buy 22.09 €
Strength-Based Cognitive Behaviour Therapy Approach to Recovery Wong / Libro Tapa blanda
common.buy 60.49 €
Not Dead Yet and Other Stories Hadley Moore / Libro Tapa blanda
common.buy 14.19 €
Professional Issues in Clinical Psychology Will Curvis / Libro Tapa blanda
common.buy 45.49 €
Popular
Gentle and Lowly Dane C. Ortlund / Libro Tapa dura
common.buy 16.49 €
English Czech 500 Flashcards with Pictures for Babies: Learning homeschool frequency words flash cards for child toddlers preschool kindergarten and k Julie Brighter / Libro Tapa blanda
common.buy 12.59 €
Welcome to the United States of Anxiety / Libro Tapa dura
common.buy 25.09 €
Persian Fables and Fairy Tales Keyvan Moghissi / Libro Tapa blanda
common.buy 12.59 €
Radical Confidence Lisa Bilyeu / Libro Tapa blanda
common.buy 19.69 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?