|
|
|
|
| LEADER |
02232nam a2200421 a 4500 |
| 001 |
c000180115 |
| 003 |
CARM |
| 005 |
19980914000000.0 |
| 008 |
900131s1989 dcua b 101 0 eng d |
| 019 |
1 |
|
|a 6916713
|5 LACONCORD2021
|
| 020 |
|
|
|a 0818689544
|
| 020 |
|
|
|a 0818619546
|
| 020 |
|
|
|a 0818659548
|
| 035 |
|
|
|a (OCoLC)20307803
|5 LACONCORD2021
|
| 040 |
|
|
|a NU
|b eng
|c NU
|d NU
|
| 082 |
0 |
4 |
|a 005.1
|2 20
|
| 111 |
2 |
|
|a Symposium on Logic in Computer Science
|n (4th :,
|d 1989 :
|c Philadelphia, Pa.)
|
| 245 |
1 |
0 |
|a Proceedings :
|b Fourth Annual Symposium on Logic in Computer Science /
|c IEEE Computer Society, The Institute of Electrical and Electronics Engineers.
|
| 246 |
3 |
|
|a 1989 IEEE Fourth Annual Symposium on Logic in Computer Science.
|
| 260 |
|
|
|a Washington, D.C. :
|b IEEE Computer Society,
|c c1989.
|
| 300 |
|
|
|a xvi, 402 p. :
|b ill. ;
|c 28 cm.
|
| 500 |
|
|
|a Cover Title: 1989 IEEE Fourth Annual Symposium on Logic in Computer Science.
|
| 500 |
|
|
|a "Sponsored by the Technical Committee on Mathematical Foundations of Computing of the IEEE Computer Society ; in cooperation with the ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, and the European Association for Theoretical Computer Science"--p. ix.
|
| 500 |
|
|
|a "IEEE catalog number 89CH2753-2".
|
| 500 |
|
|
|a "IEEE Computer Society order number 1954".
|
| 504 |
|
|
|a Includes bibliographies and index.
|
| 650 |
|
0 |
|a Electronic data processing
|v Congresses.
|
| 650 |
|
0 |
|a Computer programming
|v Congresses.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|v Congresses.
|
| 710 |
2 |
|
|a IEEE Computer Society.
|
| 710 |
2 |
|
|a ACM Special Interest Group for Automata and Computability Theory.
|
| 710 |
2 |
|
|a IEEE Computer Society.
|b Technical Committee on Mathematical Foundations of Computing.
|
| 710 |
2 |
|
|a Association for Symbolic Logic.
|
| 710 |
2 |
|
|a Institute of Electrical and Electronics Engineers.
|
| 710 |
2 |
|
|a European Association for Theoretical Computer Science.
|
| 852 |
8 |
|
|b CARM
|h A2:AR17E0
|i D07412
|p 0242768
|f BK
|
| 999 |
f |
f |
|i 6c447f72-c15e-55ac-b0cf-6738bb1d3819
|s 21537624-174e-5363-8f1e-bc4562092565
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e D07412
|f A2:AR17E0
|h Other scheme
|i book
|m 0242768
|