|
Satz 1 von 1 |
|
|
|
|
Domain theory, logic, and computation: proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
| |
1. Person/Familie
|
Zhang, Guo-Qiang [Hrsg.]
|
1. Körperschaft
|
International Symposium on Domain Theory <2, 2001, Sichuan>
|
Titel
|
Domain theory, logic, and computation: proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
|
Verantw.-ang.
|
ed. by G.Q. Zhang ...
|
Verlagsort
|
Dordrecht [u.a.]
|
Verlag
|
Kluwer Acad. Publ.
|
E-Jahr
|
2004
|
Umfangsangabe
|
xii, 196 p.
|
HT 1. Reihe u. Zähl.
|
Semantic structures in computation ; 3
|
Weitere Angaben
|
Includes bibliographical references
|
ISBN
|
1-402-01832-0
|
Notation
|
68Q55
|
Notation
|
68-06
|
Bestand
|
1
|
Sign-Info
|
68Q55 Dom
|
|
|