The logic of information structures / Heinrich Wansing.
Saved in:
Main Author: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Berlin ; New York :
Springer-Verlag,
©1993.
|
Series: | Lecture notes in computer science ;
681. Lecture notes in computer science. Lecture notes in artificial intelligence. |
Subjects: |
MARC
LEADER | 00000pam a2200000 a 4500 | ||
---|---|---|---|
001 | b1926726 | ||
003 | CoU | ||
005 | 19940202111309.0 | ||
008 | 930709s1993 gw b 001 0 eng | ||
010 | |a 93029015 | ||
020 | |a 0387567348 : | ||
035 | |a (OCoLC)ocm28547331 | ||
040 | |a DLC |c DLC |d COD | ||
049 | |a CODI | ||
050 | 0 | 0 | |a QA76 |b .W235 1993 |
050 | 0 | 0 | |a QA76 |b .W235 1993 |
100 | 1 | |a Wansing, H. |q (Heinrich) |0 http://id.loc.gov/authorities/names/n93019671 |1 http://isni.org/isni/0000000116452536. | |
245 | 1 | 4 | |a The logic of information structures / |c Heinrich Wansing. |
260 | |a Berlin ; |a New York : |b Springer-Verlag, |c ©1993. | ||
300 | |a ix, 163 pages ; |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. Lecture notes in artificial intelligence ; |v 681. | |
500 | |a Revision of the author's doctoral thesis (Fachbereich Philosophie und Sozialwissenschaften I of the Free University of Berlin) | ||
504 | |a Includes bibliographical references (pages [149]-155) and index. | ||
590 | |a Eng [c.1] jg. | ||
583 | 1 | |a committed to retain |c 20200101 |d 20450101 |5 CoU |f Alliance Shared Trust |u https://www.coalliance.org/shared-print-archiving-policies. | |
650 | 0 | |a Computer science. |0 http://id.loc.gov/authorities/subjects/sh89003285. | |
650 | 0 | |a Artificial intelligence. |0 http://id.loc.gov/authorities/subjects/sh85008180. | |
650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115. | |
830 | 0 | |a Lecture notes in computer science ; |v 681. |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 .b19267265 |b 05-04-22 |c 11-30-94 | ||
998 | |a pas |b 03-21-95 |c - |d m |e - |f eng |g gw |h 4 |i 1 | ||
907 | |a .b19267265 |b 04-19-19 |c 11-30-94 | ||
944 | |a MARS - RDA ENRICHED | ||
907 | |a .b19267265 |b 12-17-08 |c 11-30-94 | ||
907 | |a .b19267265 |b 05-29-07 |c 11-30-94 | ||
948 | |a ctr03/04 : apr : mw : mph to eng transfer project | ||
999 | f | f | |i badfc665-b90b-535c-b73f-ca74690f3820 |s afce886a-c63c-5db5-b84b-f3f1e8e25334 |
952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Offsite |d PASCAL Offsite |e QA76 .W235 1993 |h Library of Congress classification |i book |m P203330612015 |n 1 |