[Lecture Notes in Computer Science] Computational Logic —...

Main
[Lecture Notes in Computer Science]...

[Lecture Notes in Computer Science] Computational Logic — CL 2000 Volume 1861 || A CLP Framework for Computing Structural Test Data

Lloyd, John, Dahl, Veronica, Furbach, Ulrich, Kerber, Manfred, Lau, Kung-Kiu, Palamidessi, Catuscia, Pereira, Luís Moniz, Sagiv, Yehoshua, Stuckey, Peter J.

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Volume:

10.1007/3-

Year:

2000

Language:

english

DOI:

10.1007/3-540-44957-4_27

File:

PDF, 216 KB

english, 2000

Conversion to is in progress

Conversion to is failed