Tools

LEADER 01767cam 2200397 a 4500

001 ocm31865627;

003 OCoLC;

005 20141212115529.0;

008 950104s1995 gw a b 100 0 eng ;

010 a| 95001416;

020 a| 3540589767 (Berlin : acid-free paper);

020 a| 0387589767 (New York : acid-free paper);

035 a| (Sirsi) o31865627;

035 a| (OCoLC)31865627;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.63b| .I566 1995;

082 00 a| 005.13/12| 20;

111 2 a| International Joint Conference on Artificial Intelligenced| (1993 :c| Chambéry, France)?| UNAUTHORIZED;

245 10 a| Executable modal and temporal logics :b| IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings /c| Michael Fisher, Richard Owens, eds.;

300 a| 180 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 897.a| Lecture notes in artificial intelligence;

500 a| Updated papers presented at the Workshop on Executable Modal and Temporal Logics.;

650 0 a| Logic programmingv| Congresses.=| ^A205684;

650 0 a| Prolog (Computer program language)v| Congresses.=| ^A134414;

700 1 a| Fisher, Michael,d| 1962-=| ^A363033;

700 1 a| Owens, Richard,d| 1965-=| ^A363034;

830 0 a| Lecture notes in computer sciencev| 897.=| ^A466336;

830 0 a| Lecture notes in computer science.p| Lecture notes in artificial intelligence.=| ^A467263;

596 a| 1;

998 a| 575298;

999 a| QA76.63 .I566 1995w| LCc| 1i| 30372008996693d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $36.00r| Ys| Yt| JGESBKu| 5/4/1995x| BOOKz| JSTACKSo| .STAFF. 0;

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens, eds.

Author/creator	International Joint Conference on Artificial Intelligence
Other author	Fisher, Michael, 1962-
Other author	Owens, Richard, 1965-
Format	Book
Publication Info	Berlin ; New York : Springer, ©1995.
Description	180 pages : illustrations ; 24 cm.
Subjects	Logic programming--Congresses. Prolog (Computer program language)--Congresses.

Series	Lecture notes in computer science ; 897. Lecture notes in artificial intelligence Lecture notes in computer science 897. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
General note	Updated papers presented at the Workshop on Executable Modal and Temporal Logics.
LCCN	95001416
ISBN	3540589767 (Berlin : acid-free paper)
ISBN	0387589767 (New York : acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.63 .I566 1995	✔ Available	Place Hold

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens, eds.

Click here for more information about this title

Availability