Proceedings. 20, May 23-25, 1990, Charlotte, North Carolina, USA
Additional authors:
IEEE Computer Society
Published by :
IEEE
(New York)
Physical details: xiv, 438 s.
ISBN:0195623X (hela verket); 0-8186-9046-1 (inb.); 0-8186-6046-5 (mikrofiche); 0-8186-2046-3 (hft.).
Subject(s):
Algebra (Årliga publikationer
|
Artificiell intelligens
|
Logik
|
Logikutformning - elektroniska kretsar
|
Matematisk programmering
Year: 1990
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Book (loan) | Gräsvik | 511 | Available | 80012451493 |