國立虎尾科技大學 |

登入

回首頁

Frontiers of combining systems : fir...

Schulz, K. U (1957)

Frontiers of combining systems : first international workshop, Munich, March 1996

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	first international workshop, Munich, March 1996
其他作者:	BaaderFranz,
其他作者:	SchulzK. U, 1957
出版地:	Dordrecht
出版者:	Kluwer Academic Publishers;
出版年:	c1996
面頁冊數:	xi, p. 388ill : 25 cm;
集叢名:	Applied logic series
標題:	Logic, Symbolic and mathematical - Congresses -
標題:	Computer science - Congresses -
ISBN:	0792342712

Frontiers of combining systems : first international workshop, Munich, March 1996
Frontiers of combining systems : first international workshop, Munich, March 1996 / edited by Franz Baader and Klaus U. Schulz - Dordrecht : Kluwer Academic Publishers, c1996. - xi, p. 388 ; ill ; 25 cm. - (Applied logic series ; v. 3).
Includes bibliographical references.
ISBN 0792342712
Logic, Symbolic and mathematicalComputer science -- Congresses -- Congresses

Baader, Franz

Frontiers of combining systems : first international workshop, Munich, March 1996
LDR:00738cam 2200217 i 450 001 438917
005 20101023212353.0
009 a96042119
010 1 $a 0792342712 $b (hard)
100 $a 20080130f 1996m y0engy01 b
101 0 $a eng
200 1 $a Frontiers of combining systems $e first international workshop, Munich, March 1996 $f edited by Franz Baader and Klaus U. Schulz
210 $a Dordrecht $c Kluwer Academic Publishers $d c1996
215 0 $a xi, p. 388 $c ill $d 25 cm
225 0 $a Applied logic series $v v. 3
320 $a Includes bibliographical references
606 $a Logic, Symbolic and mathematical $x Congresses $3 418848 $2 lc $3 731704
606 $a Computer science $x Congresses $3 418849 $2 lc $3 731705
676 $a 511.3 $b F935
676 $a 511.3 $v 20
680 $a QA9.A1 $b F76 1996
702 $a Baader $b Franz $3 418846
702 $a Schulz $b K. U $f 1957 $3 418847
801 0 $a cw $b BIB $c 19980630
801 1 $a cw $b national library $c 19980630
801 0 $a cw $b 國立國立虎尾科技大學圖書館 $c 19980720 $g CCR