國立虎尾科技大學 |

Language: English

Back

Frontiers of combining systems : fir...

Schulz, K. U (1957)

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

Record Type:	Language materials, printed : monographic
Title Information:	first international workshop, Munich, March 1996
Secondary Intellectual Responsibility:	BaaderFranz,
Secondary Intellectual Responsibility:	SchulzK. U, 1957
Place of Publication:	Dordrecht
Published:	Kluwer Academic Publishers;
Year of Publication:	c1996
Description:	xi, p. 388ill : 25 cm;
Series:	Applied logic series
Subject:	Logic, Symbolic and mathematical - Congresses -
Subject:	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