Handbook of logic in computer science
Saved in:
Group Author: | ; ; |
---|---|
Published: |
Clarendon Press,
|
Publisher Address: | Oxford |
Publication Dates: | 1992- |
Literature type: | Book |
Language: | English |
Subjects: | |
Carrier Form: | v.: ill. ; 24 cm. |
ISBN: | 0198537808 |
Index Number: | TP301 |
CLC: |
TP301-62 TP3-62 |
Call Number: | TP3-62/H236.1/ |
Contents: | v.4: Semantic modelling. -- 1995. -- xiii, 651 p. |