Cover Image

Logic of domains /

Show other versions (1)
Bibliographic Details
Main Author: Zhang, Guo-Qiang, 1960-
Format: Book
Language:English
Published: Boston : Birkhauser, 1991.
Series:Progress in theoretical computer science.
Subjects:
Programming languages (Electronic computers) > Semantics.
Logic, Symbolic and mathematical.
Search Result 1
Cover Image
by Zhang, Guo-Qiang, 1960-
Published 1991
Connect to the full text of this electronic book
eBook
Show all versions (2)