Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Logic Based Program Synthesis and Transformation (vol. # 3901) [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / edited by Patricia M. Hill.

By:

LOPSTR 2005 (2005 : London, England)

Contributor(s):

SpringerLink (Online service)

Series: Lecture Notes in Computer Science ; 3901Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Description: x, 178 p. : digital ; 24 cmISBN:

9783540326564 (electronic bk.)
9783540326540 (paper)

Subject(s):

Logic programming -- Congresses

DDC classification:

005.11 22

LOC classification:

QA76.63 .L69 2005

Online resources:

Click here to access online

In: Springer e-books

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Comments ( 0 )

No physical items for this record

There are no comments on this title.

to post a comment.

Previous

Back to results

Next

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

1 Algebraic geometry :
by Macdonald, I. G.
2 Algebraic topology :
by Wallace, Andrew H.
3 Applications of calculus in business and economics
by Thompson, Howard Elliott, 1934-
4 Atomic collision theory /
by Bransden, B. H.,
5 Atoms and molecules :
by Karplus, Martin,
6 Augmented plane wave method /
by Loucks, T. L.
7 Automorphic forms and Kleinian groups
by Kra, Irwin
8 Basic experimental chemistry :
by Anderson, C. B.
9 Basic principles of chemistry /
by Gray, Harry B.
10 Basic principles of organic chemistry /
by Roberts, John D.,
11 Basic principles of organic chemistry /
by Roberts, John D.,
12 Basic principles of plasma physics
by Ichimaru, Setsuo
13 Basic psychology /
by Kendler, Howard H.,
14 Basic psychology /
by Kendler, Howard H.
15 Behavior of electrons in atoms /
by Hochstrasser, Robin M.
16 Bifurcation theory and nonlinear eigenvalue problems/
17 Biochemical reasoning :
18 Bioenergetics :
by Lehninger, Albert L.
19 Bioenergetics :
by Lehninger, Albert L.
20 Biological transport /
by Christensen, Halvor N

Close

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library