NUST Institutions Library Catalogue catalog › Details for: Logic and games on Automatic structures: playing with quantifiers and decompositions\

Normal view MARC view ISBD view

Logic and games on Automatic structures: playing with quantifiers and decompositions\ Lukasz Kaiser.

By: Kaiser, Lukasz Material type: Text

TextPublisher: New York Springer 2011Description: xii;118pISBN: 9783642228063DDC classification: 005.131

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

Item type	Current location	Home library	Shelving location	Call number	Status	Notes	Date due	Barcode	Item holds
Book	School of Mechanical & Manufacturing Engineering (SMME)	School of Mechanical & Manufacturing Engineering (SMME)	General Stacks	005.131 KAI (Browse shelf)	Available	Rack,51-Shelf,1		SMME-1881

Total holds: 0

paperback

There are no comments on this title.

to post a comment.