Higher order logic theorem proving and its applications

书目详细资料
其他作者: Claesen, Luc J M (Editor)
格式: Printed Book
出版: North-Holland Publishing Co., Amsterdam 1993
主题:
Computer programming
LEADER 00530nam a2200169 4500
082 |a 005.1 CLA-H 
100 |a Claesen, Luc J M,   |e Editor 
245 |a Higher order logic theorem proving and its applications  |c Luc J M Claesen  
250
260 |a North-Holland Publishing Co., Amsterdam  |c 1993 
300
490
650 |a Computer programming 
700 |e Editor 
942 |c BK 
999 |c 202893  |d 202893 
952 |0 0  |1 0  |4 0  |6 005_100000000000000_CLAH  |7 0  |9 216242  |a MAT  |b MAT  |l 0  |o 005.1 CLA-H  |p MAT4221  |r 2019-11-01  |w 2019-11-01  |y BK 

相似书籍