Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Executable Modal and Temporal Logics

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Executable Modal and Temporal Logics Michael Fisher
Code Libristo: 05274453
Éditeurs Springer, Berlin, novembre 1994
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda... Description détaillée
? points 125 b
51.36 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

La petite fille aux genoux rouges Carol-Ann Florindel / Livre Livre de poche
common.buy 9.04 €
Le vent de l'absolu Francis Vallat / Livre Livre de poche
common.buy 18.19 €
Naše matka Karin Smirnoff / Livre Livre de poche
common.buy 16.18 €
Proljeće Jadranka Boban Pejić / Livre Livre de poche
common.buy 6.93 €
Ovace nevlídnosti Sylva Lauerová / Livre Livre relié
common.buy 9.24 €
Prince Valiant Hal Foster / Livre Livre relié
common.buy 40.02 €
LES ENFANTS AUX YEUX ETEINTS Durdikova Lida Livre Livre de poche
common.buy 4.61 €
Schipper Malen nach Zahlen - Blumenwiese / Jeu/jouet Jouet
common.buy 33.98 €
Confiabilidad del trazado manual vs digital Doménica Nicole Diab Borja / Livre Livre de poche
common.buy 48.65 €
Kernfragen. Psychologie Marcus Weeks / Livre Livre relié
common.buy 12.66 €
L'art de la guerre. Editions Bender / Livre Livre de poche
common.buy 12.56 €
Bald! Kelly Weinersmith / Livre Livre de poche
common.buy 21.20 €
Wundervolle Wellness- und Wohlfühlmusik für eine herrlich entspannte Traumzeit, Audio-CD Frank Tuppek / Audio CD Audio
common.buy 16.69 €
Fils d'emigre Ernest Daudet / Livre Livre de poche
common.buy 20.50 €
Philosophische Bildung Volker Steenblock / Livre Livre de poche
common.buy 18.39 €
Engelkarten, Kartenset Jana Haas / Jeu/jouet Jeu
common.buy 19.09 €
Bedeutung der Ladenoeffnungszeiten aus einzel- und gesamtwirtschaftlicher Sicht Jeanne d'Arc Sankari Slodowicz / Livre Livre de poche
common.buy 38.09 €

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.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Executable Modal and Temporal Logics
Auteur Michael Fisher, Richard Owens
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1995
Nombre de pages 188
EAN 9783540589761
ISBN 3540589767
Code Libristo 05274453
Éditeurs Springer, Berlin
Poids 295
Dimensions 156 x 234 x 10

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Informatique et technologies de l’information > Programmation informatique / génie logiciel
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Introduction to Markov State Models and Their Application to Long Timescale Molecular Simulation Gregory R Bowman / Livre Livre relié
common.buy 183.97 €
Staying Dry Kathryn L. Burgio / Livre Livre de poche
common.buy 35.68 €
Crestfield can't find my way home: can't find my way home Jack / Livre Livre de poche
common.buy 12.46 €
2017 Anthology Read Write / Livre Livre de poche
common.buy 8.74 €
The Coming Prince Sir Robert Anderson / Livre Livre de poche
common.buy 28.94 €
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 / Livre Livre de poche
common.buy 15.27 €
History of U.S. Table Tennis Volume 14 Tim Boggan / Livre Livre de poche
common.buy 28.94 €
Klass Act L Anne Carrington / Livre Livre de poche
common.buy 18.79 €
I Ching: Passages 3. split (he/she) edition King Wen / Livre Livre de poche
common.buy 6.83 €
Before I Sleep: Poems for Children Who Think Samuel Barondes / Livre Livre de poche
common.buy 10.55 €
Terreldor: The Long Path Home Chris M Hibbard / Livre Livre de poche
common.buy 12.96 €
Month of the Drowned Dog Ellis Sharp / Livre Livre de poche
common.buy 11.55 €
More Jokes 4 Mathy Folks G. Patrick Vennebush / Livre Livre de poche
common.buy 10.04 €
Time of Gratitude Gennady Aygi / Livre Livre de poche
common.buy 16.18 €
Integrated marketing communications: An strategic brand perspective Daniel Felipe Cuervo Castellanos / Livre Livre de poche
common.buy 60.11 €
THE CHARANGON CHORD BIBLE: CFADA STANDAR TOBE A. RICHARDS / Livre Livre de poche
common.buy 24.12 €
Spider-man Vs. The Vulture Stan Lee / Livre Livre de poche
common.buy 32.46 €
Acoustic Guitar Owner's Manual: The Complete Guide String Letter Publishing / Livre Livre de poche
common.buy 16.68 €
The Five Marks of a Man: Finding Your Path to Courageous Manhood Brian Tome / Livre Livre de poche
common.buy 17.58 €
Radical Confidence Lisa Bilyeu / Livre Livre de poche
common.buy 17.99 €
Persian Fables and Fairy Tales Keyvan Moghissi / Livre Livre de poche
common.buy 11.95 €
A Historical Essay on Architecture (1835) Thomas Hope / Livre Livre de poche
common.buy 45.73 €
Magister Templi Joseph William Marek / Livre Livre de poche
common.buy 28.24 €
Welcome to the United States of Anxiety / Livre Livre relié
common.buy 22.72 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?