Normal view MARC view ISBD view

Discrete structures, logic, and computability

Material type: materialTypeLabel

BookPublisher: Sudbury: Jones & Bartlett, 2002Edition: 2nd ed.Description: xvi, 943 p.; ill.: 25 cm.ISBN: 9780763718435 .Subject(s): Computer science - Mathematics | Logic programming | Data structures | Computable functionsDDC classification: 004.01511

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Call number	Status	Date due	Barcode
Books		004.01511 HEI (Browse shelf)	Available		017803

Previous								Next
Previous	004.0151 TRE Mathematics for game developers	004.0151 VIN Foundation mathematics for computer science : a visual approach	004.0151 YAN Introduction to formal languages and machine computation	004.01511 HEI Discrete structures, logic, and computability	004.015113 BER Interactive theorem proving and program development : Coq'Art - the calculus of inductive constructions	004.015113 BOW Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems	004.015113 HOM Automata theory and formal languages	Next

There are no comments for this item.

Koha online