Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Executable Modal and Temporal Logics

Name: Executable Modal and Temporal Logics
Brand: Springer, Berlin
SKU: 05274453
Price: 53.79 EUR
Availability: InStock
Author: Michael Fisher
ISBN: 9783540589761

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

Michael Fisher

Richard Owens

Lingua

Inglese

Libro In brossura

Codice Libristo: 05274453

Casa editrice Springer, Berlin, novembre 1994

This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda... Descrizione completa

Codice Libristo: 05274453

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Kernfragen. Psychologie Marcus Weeks

Rigido

13.39 €

Bedeutung der Ladenoeffnungszeiten aus einzel- und gesamtwirtschaftlicher Sicht Jeanne d'Arc Sankari Slodowicz

In brossura

40.09 €

Engelkarten, Kartenset Jana Haas

Gioco

20.29 €

Philosophische Bildung Volker Steenblock

In brossura

19.49 €

Fils d'emigre Ernest Daudet

In brossura

21.49 €

Prince Valiant Hal Foster

Rigido

41.89 €

Wundervolle Wellness- und Wohlfühlmusik für eine herrlich entspannte Traumzeit, Audio-CD Frank Tuppek

CD audio

8.89 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Executable Modal and Temporal Logics

Autore Michael Fisher, Richard Owens

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 1995

Numero di pagine 188

EAN 9783540589761

ISBN 3540589767

Codice Libristo 05274453

Casa editrice Springer, Berlin

Peso 295

Dimensioni 156 x 234 x 10

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Introduction to Markov State Models and Their Application to Long Timescale Molecular Simulation Gregory R Bowman

Rigido

192.99 €

Staying Dry Kathryn L. Burgio

In brossura

37.29 €

THE CHARANGON CHORD BIBLE: CFADA STANDAR TOBE A. RICHARDS

In brossura

26.19 €

Crestfield can't find my way home: can't find my way home Jack

In brossura

12.69 €

2017 Anthology Read Write

In brossura

8.89 €

The Coming Prince Sir Robert Anderson

In brossura

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

In brossura

15.59 €

I Ching: Passages 3. split (he/she) edition King Wen

In brossura

6.99 €

Terreldor: The Long Path Home Chris M Hibbard

In brossura

13.19 €

Time of Gratitude Gennady Aygi

In brossura

17.69 €

Spider-man Vs. The Vulture Stan Lee

In brossura

32.59 €

Acoustic Guitar Owner's Manual: The Complete Guide String Letter Publishing

In brossura

17.39 €

Tristen's Reading Log Martha Day Zschock

Rigido

16.49 €

Kaspar Hauser Martin Kitchen

In brossura

113.19 €

Biographical History of the County of Litchfield, Connecticut Payne Kenyon Kilbourne

Rigido

44.39 €

Frantic Woman's Guide To Feeding Family And Friends Mary Jo Rulnick

In brossura

22.09 €

Strength-Based Cognitive Behaviour Therapy Approach to Recovery Wong

In brossura

60.49 €

Not Dead Yet and Other Stories Hadley Moore

In brossura

13.89 €

Professional Issues in Clinical Psychology Will Curvis

In brossura

45.49 €

Gentle and Lowly Dane C. Ortlund

Rigido

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

In brossura

12.59 €