Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens, eds.
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©1995.
|
| Series: | Lecture notes in computer science ;
897. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
MARC
| LEADER | 00000pam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | b2131565 | ||
| 003 | CoU | ||
| 008 | 950104s1995 gw a b 100 0 eng | ||
| 005 | 20231211212106.2 | ||
| 010 | |a 95001416 | ||
| 020 | |a 3540589767 (Berlin : acid-free paper) | ||
| 020 | |a 0387589767 (New York : acid-free paper) | ||
| 035 | |a (OCoLC)ocm31865627 | ||
| 040 | |a DLC |c DLC |d COD | ||
| 049 | |a CODI | ||
| 050 | 0 | 0 | |a QA76.63 |b .I566 1995 |
| 111 | 2 | |a International Joint Conference on Artificial Intelligence |d (1993 : |c Chambéry, France) | |
| 245 | 1 | 0 | |a Executable modal and temporal logics : |b IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / |c Michael Fisher, Richard Owens, eds. |
| 260 | |a Berlin ; |a New York : |b Springer, |c ©1995. | ||
| 300 | |a 180 pages : |b illustrations ; |c 24 cm. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 338 | |a volume |b nc |2 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. | ||
| 504 | |a Includes bibliographical references. | ||
| 583 | 1 | |a committed to retain |c 20230101 |d 20480101 |5 CoU |f Alliance Shared Trust |u https://www.coalliance.org/shared-print-archiving-policies. | |
| 650 | 0 | |a Logic programming |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008107111. | |
| 650 | 0 | |a Prolog (Computer program language) |v Congresses. | |
| 700 | 1 | |a Fisher, Michael, |d 1962- |0 http://id.loc.gov/authorities/names/n95000867 |1 http://isni.org/isni/0000000122144708. | |
| 700 | 1 | |a Owens, Richard, |d 1965- |0 http://id.loc.gov/authorities/names/n95000870 |1 http://isni.org/isni/0000000109787610. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 897. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. |0 http://id.loc.gov/authorities/names/n86736436. | |
| 907 | |a .b21315656 |b 05-04-22 |c 08-04-95 | ||
| 998 | |a eng |b 08-04-95 |c - |d m |e - |f eng |g gw |h 0 |i 1 | ||
| 907 | |a .b21315656 |b mph |c - | ||
| 907 | |a .b21315656 |b 10-25-18 |c 08-04-95 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 907 | |a .b21315656 |b 12-18-08 |c 08-04-95 | ||
| 907 | |a .b21315656 |b 06-05-08 |c 08-04-95 | ||
| 946 | |a MK | ||
| 999 | f | f | |i 3a73159a-d1c6-5789-a74a-c8b269bdfd36 |s 6d9ff7c4-90df-5e5d-8c60-ea36863f9a6a |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Offsite |d PASCAL Offsite |e QA76.63 .I566 1995 |h Library of Congress classification |i book |m P204312407020 |n 1 |