Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Executable Modal and Temporal Logics

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

Limba englezăengleză
Carte Carte broșată
Carte Executable Modal and Temporal Logics Michael Fisher
Codul Libristo: 05274453
Editura Springer, Berlin, noiembrie 1994
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda... Descrierea completă
? points 132 b
284.91 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Kernfragen. Psychologie Marcus Weeks / Carte Copertă tare
common.buy 70.93 lei
Bedeutung der Ladenoeffnungszeiten aus einzel- und gesamtwirtschaftlicher Sicht Jeanne d'Arc Sankari Slodowicz / Carte Carte broșată
common.buy 212.41 lei
Engelkarten, Kartenset Jana Haas / Joc / Jucărie Joc
common.buy 107.29 lei
Philosophische Bildung Volker Steenblock / Carte Carte broșată
common.buy 97.94 lei
Fils d'emigre Ernest Daudet / Carte Carte broșată
common.buy 113.94 lei
Prince Valiant Hal Foster / Carte Copertă tare
common.buy 221.96 lei
Wundervolle Wellness- und Wohlfühlmusik für eine herrlich entspannte Traumzeit, Audio-CD Frank Tuppek / Audio Audio CD
common.buy 47.15 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Executable Modal and Temporal Logics
Autor Michael Fisher, Richard Owens
Limba engleză
Legare Carte - Carte broșată
Data publicării 1995
Număr pagini 188
EAN 9783540589761
ISBN 3540589767
Codul Libristo 05274453
Editura Springer, Berlin
Greutatea 295
Dimensiuni 156 x 234 x 10

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer programming / software engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Introduction to Markov State Models and Their Application to Long Timescale Molecular Simulation Gregory R Bowman / Carte Copertă tare
common.buy 1 021.57 lei
Staying Dry Kathryn L. Burgio / Carte Carte broșată
common.buy 197.66 lei
THE CHARANGON CHORD BIBLE: CFADA STANDAR TOBE A. RICHARDS / Carte Carte broșată
common.buy 138.66 lei
Crestfield can't find my way home: can't find my way home Jack / Carte Carte broșată
common.buy 67.30 lei
2017 Anthology Read Write / Carte Carte broșată
common.buy 46.94 lei
The Coming Prince Sir Robert Anderson / Carte Carte broșată
common.buy 155.90 lei
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 / Carte Carte broșată
common.buy 82.88 lei
I Ching: Passages 3. split (he/she) edition King Wen / Carte Carte broșată
common.buy 36.97 lei
Terreldor: The Long Path Home Chris M Hibbard / Carte Carte broșată
common.buy 69.90 lei
Time of Gratitude Gennady Aygi / Carte Carte broșată
common.buy 88.70 lei
Spider-man Vs. The Vulture Stan Lee / Carte Carte broșată
common.buy 172.83 lei
Acoustic Guitar Owner's Manual: The Complete Guide String Letter Publishing / Carte Carte broșată
common.buy 92.33 lei
Tristen's Reading Log Martha Day Zschock / Carte Copertă tare
common.buy 87.55 lei
Kaspar Hauser Martin Kitchen / Carte Carte broșată
common.buy 599.44 lei
Biographical History of the County of Litchfield, Connecticut Payne Kenyon Kilbourne / Carte Copertă tare
common.buy 234.95 lei
Frantic Woman's Guide To Feeding Family And Friends Mary Jo Rulnick / Carte Carte broșată
common.buy 117.26 lei
Strength-Based Cognitive Behaviour Therapy Approach to Recovery Wong / Carte Carte broșată
common.buy 320.33 lei
Not Dead Yet and Other Stories Hadley Moore / Carte Carte broșată
common.buy 73.32 lei
Professional Issues in Clinical Psychology Will Curvis / Carte Carte broșată
common.buy 240.97 lei
Top
Gentle and Lowly Dane C. Ortlund / Carte Copertă tare
common.buy 87.55 lei
English Czech 500 Flashcards with Pictures for Babies: Learning homeschool frequency words flash cards for child toddlers preschool kindergarten and k Julie Brighter / Carte Carte broșată
common.buy 66.78 lei
Welcome to the United States of Anxiety / Carte Copertă tare
common.buy 126.09 lei
Persian Fables and Fairy Tales Keyvan Moghissi / Carte Carte broșată
common.buy 66.78 lei
Radical Confidence Lisa Bilyeu / Carte Carte broșată
common.buy 104.28 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?