國立高雄大學圖資館 |

Language: English

Back

Automating Business Modelling :A Guide to Using Logic to Represent Informal Methods and Support Reasoning /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Automating Business Modelling :by Yun-Heh Chen-Burger, Dave Robertson.
Reminder of title:	A Guide to Using Logic to Represent Informal Methods and Support Reasoning /
Author:	Chen-Burger, Yun-Heh.
other author:	Robertson, Dave.
Published:	London :Springer-Verlag London Limited,2005.
Description:	v.: digital
Series:	Advanced Information and Knowledge Processing
Subject:	Computer Science
Online resource:	http://dx.doi.org/10.1007/b138799
ISBN:	9781846281068 (electronic bk.)

Automating Business Modelling :A Guide to Using Logic to Represent Informal Methods and Support Reasoning /
Chen-Burger, Yun-Heh.

Automating Business Modelling :A Guide to Using Logic to Represent Informal Methods and Support Reasoning /[electronic resource] :by Yun-Heh Chen-Burger, Dave Robertson. - London :Springer-Verlag London Limited,2005. - v.: digital - Advanced Information and Knowledge Processing.

ISBN: 9781846281068 (electronic bk.)Subjects--Topical Terms:

253538
Computer Science

LC Class. No.: HD30.2 / .C473 2005

Dewey Class. No.: 338.5/01/13

Automating Business Modelling :A Guide to Using Logic to Represent Informal Methods and Support Reasoning /
LDR:00893nmm _22002295a_450 001 175395
003 Springer
005 20070808113936.0
006 m e
007 cr nn 008mamaa
008 090528s2005 enk j eng d
020 $a 9781846281068 (electronic bk.)
020 $a 9781852338350 (paper)
035 $a 00279846
050 0 0 $a HD30.2 $b .C473 2005
082 0 0 $2 22 $a 338.5/01/13
090 $a HD30.2 $b .C518 2005
100 0 $a Chen-Burger, Yun-Heh. $3 254760
245 1 0 $a Automating Business Modelling : $b A Guide to Using Logic to Represent Informal Methods and Support Reasoning / $c by Yun-Heh Chen-Burger, Dave Robertson. $h [electronic resource] :
260 # $a London : $c 2005. $b Springer-Verlag London Limited,
300 $b v.: digital
440 0 $a Advanced Information and Knowledge Processing
650 # 0 $a Computer Science $3 253538
650 # 0 $a Artificial Intelligence (incl. Robotics) $3 252959
650 # 0 $a Computer Appl. in Administrative Data Processing $3 253679
650 # 0 $a Management of Computing and Information Systems $3 253549
650 # 0 $a Database Management $3 253548
650 # 0 $a Operations Research/Decision Theory $3 253303
650 # 0 $a Technology Management $3 253341
650 # 0 $a Artificial intelligence $3 252958
650 # 0 $a Information systems $3 253319
650 # 0 $a Information Systems $3 253547
650 # 0 $a Database management $3 253546
650 # 0 $a Operations research $3 216699
650 # 0 $a Technology $3 213634
700 0 # $a Robertson, Dave. $3 254759
856 4 0 $u http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/b138799 $z http://dx.doi.org/10.1007/b138799
950 $a Computer Science (Springer-11645; ZDB-2-SCS)