Зображення обкладинки
QR код

Logic and automata history and perspectives /

Показати інші версії (1)
Збережено в:
Співавтор: ebrary, Inc
Інші автори: Flum, Jörg, Grädel, Erich, 1958-, Wilke, Thomas, 1965-
Формат: Електронний ресурс eКнига
Мова:Англійська
Опубліковано: Amsterdam : Amsterdam University Press, c2008.
Серія:Texts in logic and games ; v. 2.
Предмети:
Machine theory.
Logic, Symbolic and mathematical.
Computer science > Mathematics.
Computational complexity.
Electronic books.
Онлайн доступ:An electronic book accessible through the World Wide Web; click to view
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!

MARC

LEADER 00000nam a2200000 a 4500
001 0000110041
005 20171002055755.0
006 m u
007 cr cn|||||||||
008 091013s2008 ne a sb 000 0 eng d
020 |z 9789053565766 
020 |z 9789048501281 
035 |a (CaPaEBR)ebr10302747 
035 |a (OCoLC)232968063 
040 |a CaPaEBR  |c CaPaEBR 
050 1 4 |a QA267  |b .L64 2008eb 
245 0 0 |a Logic and automata  |h [electronic resource] :  |b history and perspectives /  |c edited by Jörg Flum, Erich Grädel, and Thomas Wilke. 
260 |a Amsterdam :  |b Amsterdam University Press,  |c c2008. 
300 |a 736 p. :  |b ill. 
490 1 |a Texts in logic and games ;  |v v. 2 
504 |a Includes bibliographical references. 
533 |a Electronic reproduction.  |b Palo Alto, Calif. :  |c ebrary,  |d 2013.  |n Available via World Wide Web.  |n Access may be limited to ebrary affiliated libraries. 
650 0 |a Machine theory. 
650 0 |a Logic, Symbolic and mathematical. 
650 0 |a Computer science  |x Mathematics. 
650 0 |a Computational complexity. 
655 7 |a Electronic books.  |2 local 
700 1 |a Flum, Jörg. 
700 1 |a Grädel, Erich,  |d 1958- 
700 1 |a Wilke, Thomas,  |d 1965- 
710 2 |a ebrary, Inc. 
830 0 |a Texts in logic and games ;  |v v. 2. 
856 4 0 |u http://site.ebrary.com/lib/daystar/Doc?id=10302747  |z An electronic book accessible through the World Wide Web; click to view 
908 |a 170314 
942 0 0 |c EB 
999 |c 99191  |d 99191 

Схожі ресурси