Handbook of logic and proof techniques for computer science /

Podrobná bibliografie
Hlavní autor: Krantz, Steven G.
Médium: Printed Book
Vydáno: Boston : New York : Birkhauser ; Springer, 2002.
Témata:
Computers.
Electronic data processing.
On-line přístup:http://www.loc.gov/catdir/enhancements/fy0812/2001043153-d.html
http://www.loc.gov/catdir/enhancements/fy0812/2001043153-t.html
LEADER 00796cam a22001934a 4500
999 |c 211512  |d 211512 
020 |a 081764220X (alk. paper) 
082 0 0 |a 004 
100 1 |a Krantz, Steven G. 
245 1 0 |a Handbook of logic and proof techniques for computer science /  |c Steven G. Krantz. 
260 |a Boston :  |b Birkhauser ;  |a New York :  |b Springer,  |c 2002. 
300 |a xix, 245 p. ; 
504 |a Includes bibliographical references (p. 231-236) and index. 
650 0 |a Computers. 
650 0 |a Electronic data processing. 
856 4 2 |u http://www.loc.gov/catdir/enhancements/fy0812/2001043153-d.html 
856 4 1 |u http://www.loc.gov/catdir/enhancements/fy0812/2001043153-t.html 
942 |c BK 
952 |0 0  |1 0  |4 0  |6 004_000000000000000  |7 0  |9 224887  |a DFS  |b DFS  |d 2019-11-07  |l 0  |o 004  |p DFS4016  |r 2019-11-07  |w 2019-11-07  |y BK 

Podobné jednotky