Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

Langue : anglais

Edité par Springer-Verlag, 1995

3540589767 / 9783540589761

Vendeur : George Cross Books, Lexington, MA, Etats-UnisGeorge Cross Books

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2003

Membre d’une association professionnelle : IOBA

Livre broché

Etat: Occasion

EUR 30,34

EUR 3,57 expédition 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Very Good/Wraps (34589) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 897 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. 180.

N° de réf. du vendeur 34589

Titre
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
Auteur
Fisher, Michael; Owens, Richard (Eds.)
Éditeur
Springer-Verlag
Année de publication
1995
Reliure
Paperback
Langue
anglais
ISBN à 10 chiffres
3540589767
ISBN à 13 chiffres
9783540589761
Édition
Reprint edition.

George Cross Books

Lexington, MA, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2003

Membre d’une association professionnelle :

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article5 à 14 jours ouvrés3 à 6 jours ouvrés
Premier articleEUR 3,57EUR 8,93
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque
  • En espèces
  • Facture
  • Mandat
  • Paypal

Description de la boutique

Specializing in monographs and texts in Mathematics, Computer Science, Science, Engineering, Social Sciences, Psychology. Photography and Science Fiction.

Spécialité

Photography, Science Fiction, Social Sciences, Science, Computer Science, Mathematics

Membre d’une association professionnelle

  • Independent Online Booksellers Association
Les membres de ces associations s'engagent à respecter des critères de qualité particulièrement contraignants. Ils se portent garants de l'authenticité de tous les articles proposés à la vente. Ils fournissent des descriptions détaillées et professionnelles, signalent tous défauts et/ou traitements de restauration importants, établissent des prix clairs et précis et font preuve d'équité et d'honnêteté lors de l'achat d'un article.

Profil professionnel du vendeur

George Cross Books

MA, Etats-Unis