//]]>
Item type | Location | Call Number | Status | Date Due |
---|---|---|---|---|
Book | AUM Main Library | 511.3 B687 (Browse Shelf) | Available | |
Book | AUM Main Library | 511.3 B687 (Browse Shelf) | Available | |
Book | AUM Main Library | 511.3 B687 (Browse Shelf) | Available |
511.3 A164Abstract state machines, Alloy, B And Z : | 511.3 A164Abstract state machines, Alloy, B And Z : | 511.3 B611Combinatory logic : | 511.3 B687Many-valued logics / | 511.3 B687Many-valued logics / | 511.3 B687Many-valued logics / |
Includes bibliographical references and indexes.
v. 1. Theoretical foundations -- 2. Automated reasoning and practical applications.
There are no comments for this item.