嶺東科技大學 |

Language: English

Login

Create an account

Back

Switch To: Labeled | MARC Mode | ISBD

Model-based transformations for dependency quantified boolean formulas

Record Type:	Language materials, printed : monographic
Author:	BubeckUwe,
Place of Publication:	Heidelberg
Published:	AKA;
Year of Publication:	c2010
Description:	xii, 211 p.ill. : 21 cm.;
Series:	Dissertationen zur kunstlichen Intelligenz
Subject:	Propositional calculus -
Subject:	Computer algorithms -
Subject:	Algebra, Boolean. -
Notes:	Includes bibliographical references (p. 193-202) and index.
ISBN:	9783898383295pbk.

Model-based transformations for dependency quantified boolean formulas
Bubeck, Uwe

Model-based transformations for dependency quantified boolean formulas / Uwe Bubeck - Heidelberg : AKA, c2010. - xii, 211 p. ; ill. ; 21 cm.. - (Dissertationen zur kunstlichen Intelligenz).
Includes bibliographical references (p. 193-202) and index..
ISBN 9783898383295
Propositional calculusComputer algorithmsAlgebra, Boolean.

Model-based transformations for dependency quantified boolean formulas
LDR:00540nam 2200157 450 001 244671
009 00209040
010 1 $a 9783898383295 $b pbk. $d NT$1943
100 $a 20101206d2010 u z engy01 b
101 0 $a eng
200 0 $a Model-based transformations for dependency quantified boolean formulas $f Uwe Bubeck
210 $a Heidelberg $d c2010 $c AKA
215 1 $a xii, 211 p. $c ill. $d 21 cm.
225 $a Dissertationen zur kunstlichen Intelligenz
300 $a Includes bibliographical references (p. 193-202) and index.
606 1 $a Propositional calculus $3 254443
606 1 $a Computer algorithms $3 254442
606 1 $a Algebra, Boolean. $3 212549
676 $a 511.3
700 1 $a Bubeck $b Uwe $3 254441
801 0 $b 嶺東科技大學圖書館

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

297410

總館A區6F

一般流通

一般圖書

511.3 B917

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login