Skip to content
Toggle navigation
VuFind
0
Items in e-Shelf
(Full)
History
User Account
Logout
User Account
Help
English
Deutsch
Books & more
Articles & more
JuSER
All Fields
Title
Journal Title
Name
Institution
Subject
Classification
Shelf Classification
Table of Contents
DOI
ISBN/ISSN
Call number
Report Number
Barcode
Full Texts (available in selection)
Find
Advanced
Reset Filters
Logic design
Reset Filters
Show filters (1)
Logic design
Ask a Librarian
Books & more
: Hits
1 - 4
of
4
sort by
Relevance
Year (descending)
Year (ascending)
Call Number
Author
Title
Select all titles on this page
Email
Export
Print
Save
Add to e-Shelf
Select result number 1
1
E-Book
Formal Methods and Software Engineering (vol. # 3785) [E-Book] / 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceed...
Banach, Richard
2005
Other Personal Name(s):
“
...
Lau
,
Kung
-
Kiu
...
”
Full text
Favorites
Saved in:
QR Code
Select result number 2
2
E-Book
Program Development in Computational Logic [E-Book] : A Decade of Research Advances in Logic-Based Program Development /
Bruynooghe, Maurice.
2004
Other Personal Name(s):
“
...
Lau
,
Kung
-
Kiu
....
”
Full text
Favorites
Saved in:
QR Code
Select result number 3
3
E-Book
Logic Based Program Synthesis and Transformation [E-Book] : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers /
Lau
,
Kung
-
Kiu
.
2001
Other Personal Name(s):
“
...
Lau
,
Kung
-
Kiu
....
”
Full text
Favorites
Saved in:
QR Code
Select result number 4
4
E-Book
Computational Logic — CL 2000 [E-Book] : First International Conference London, UK, July 24–28, 2000 Proceedings /
Dahl, Veronica.
2000
Other Personal Name(s):
“
...
Lau
,
Kung
-
Kiu
....
”
Full text
Favorites
Saved in:
QR Code
Select all titles on this page
Email
Export
Print
Save
Add to e-Shelf
/* Narrow Search Options */ ?>
Back
Narrow Search Results
Available as
Electronic Edition
4
Material Type
Book
4
Type of Literature
Conference Publication
3
Year of Publication
From:
To:
Location
ZB
4
Name
Lau, Kung-Kiu.
3
Banach, Richard
1
Bruynooghe, Maurice.
1
Dahl, Veronica.
1
Furbach, Ulrich.
1
Kerber, Manfred.
1
more ...
Lau, Kung-Kiu
1
Lloyd, John.
1
Palamidessi, Catuscia.
1
Pereira, LuÃs Moniz.
1
Sagiv, Yehoshua.
1
Stuckey, Peter J.
1
see all ...
less ...
Subject
Computer science
4
Logic design
Artificial intelligence
3
Software engineering
2
Database management
1
Language
English
3
/* End Narrow Search Options */ ?>
×
Loading...