Doprava zadarmo s Packetou nad 59.99 €

Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Executable Modal and Temporal Logics

Name: Executable Modal and Temporal Logics
Brand: Springer, Berlin
SKU: 05274453
Price: 61.46 EUR
Availability: InStock

Michael Fisher

Richard Owens

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274453

Nakladateľstvo Springer, Berlin, november 1994

This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda... Celý popis

Libristo kód: 05274453

154 b

61.46 €

Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Engelkarten, Kartenset Jana Haas

/ Hra

17.65 €

Hamlet: A Critical Reader THOMPSON ANN

/ Brožovaná

33.40 €

Balkan Exchange of Minorities and Its Impact on Greece Dimitri Pentzopoulos

/ Pevná

66.31 €

Liturgical Art for a Media Culture Eileen D. Crowley

/ Brožovaná

10.08 €

Export Consortia in Developing Countries Donatella Depperu

/ Pevná

121.11 €

Philosophische Bildung Volker Steenblock

/ Brožovaná

18.06 €

General Principles of Law as Applied by International Tribunals to Disputes on Attribution and Exercise of State Jurisdiction Alexander Marie Stuyt

/ Brožovaná

61.46 €

Rethinking Masculinity Robert Strikwerda

/ Pevná

196.41 €

Footsteps Behind Me Anthony Gilbert

/ Brožovaná

24.11 €

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

/ Brožovaná

52.17 €

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

/ Audio CD

7.96 €

IC Interconnect Analysis Mustafa Celik

/ Brožovaná

186.32 €

Fils d'emigre Ernest Daudet

/ Brožovaná

47.93 €

Education and the Kyoto School of Philosophy Paul Standish

/ Brožovaná

121.11 €

Rule of Women in Early Modern Europe Anne J. Cruz

/ Pevná

137.87 €

Heureka! Wolfgang Röd

/ Brožovaná

9.28 €

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.

Informácie o knihe

Celý názov Executable Modal and Temporal Logics

Autor Michael Fisher, Richard Owens

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 1995

Počet strán 188

EAN 9783540589761

ISBN 3540589767

Libristo kód 05274453

Nakladateľstvo Springer, Berlin

Váha 295

Rozmery 156 x 234 x 10

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Matematika a veda > Matematika > Matematické základy > Matematická logika

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Umelá inteligencia

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo

Darujte túto knihu ešte dnes

Je to jednoduché

1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Doručenie

Nákupný poradca