Logic of computation /
by Schwichtenberg, Helmut; NATO Advanced Study Institute on Logic of Computation (1995 : Marktoberdorf, Germany).
Material type: BookSeries: NATO ASI series. no. 157Series FComputer and systems sciences. Publisher: Berlin ; New York : Springer, c1997Description: vi, 394 p. ; 24 cm.ISBN: 3540629637.Subject(s): Computer science -- Congresses | Logic, Symbolic and mathematical -- CongressesOnline resources: Publisher descriptionItem type | Current location | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Dhaka University Science Library General Stacks | 005.1015113 LOG (Browse shelf) | 1 | Available | 387666 |
Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995.
Includes bibliographical references (p. ).
There are no comments for this item.