Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Program development in computational...
~
Bruynooghe, M.
Program development in computational logic = a decade of research advances in logic-based program development /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Program development in computational logic/ Maurice Bruynooghe, Kung-Kiu Lau (eds.).
Reminder of title:
a decade of research advances in logic-based program development /
other author:
Bruynooghe, M.
Published:
Berlin ;Springer, : c2004.,
Description:
viii, 538 p. :ill., digital ; : 24 cm.;
Series:
Lecture notes in computer science,
Contained By:
Springer e-books
Subject:
Logic programming. -
Online resource:
http://dx.doi.org/10.1007/b98187
ISBN:
9783540221524 (paper)
Program development in computational logic = a decade of research advances in logic-based program development /
Program development in computational logic
a decade of research advances in logic-based program development /[electronic resource] :Maurice Bruynooghe, Kung-Kiu Lau (eds.). - Berlin ;Springer,c2004. - viii, 538 p. :ill., digital ;24 cm. - Lecture notes in computer science,30490302-9743 ;.
ISBN: 9783540221524 (paper)Subjects--Topical Terms:
670217
Logic programming.
LC Class. No.: QA76.63 / .P74 2004
Dewey Class. No.: 005.115
Program development in computational logic = a decade of research advances in logic-based program development /
LDR
:00949nam 2200241 a 4500
001
743028
003
GreenPo
005
20081027144244.0
006
m d
007
cr nn 008maaau
008
130722s2004 gw j eng d
020
$a
9783540221524 (paper)
035
$a
978-3-540-22152-4
050
0 0
$a
QA76.63
$b
.P74 2004
082
0 0
$a
005.115
$2
22
090
$a
QA76.63
$b
.P964 2004
245
0 0
$a
Program development in computational logic
$h
[electronic resource] :
$b
a decade of research advances in logic-based program development /
$c
Maurice Bruynooghe, Kung-Kiu Lau (eds.).
260
$a
Berlin ;
$a
New York :
$b
Springer,
$c
c2004.
300
$a
viii, 538 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
3049
440
0
$a
Lecture notes in computer science.
$p
State-of-the-art survey
650
0
$a
Logic programming.
$3
670217
650
0
$a
Computer logic.
$3
786340
700
1
$a
Bruynooghe, M.
$q
(Maurice)
$3
894715
700
1
$a
Lau, K.-K.
$q
(Kung-Kiu),
$d
1953-
$3
894790
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer e-books
856
4 0
$u
http://dx.doi.org/10.1007/b98187
950
$a
Computer Science (Lecture Notes in Computer Science)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login
Please sign in
User name
Password
Remember me on this computer
Cancel
Forgot your password?