ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
P. Miglioli has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
1
Theorem Proving With Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini, Palermo, Italy, 15-17th, 1996 : Proceedings
cover image for 9783540612087
Product Description: This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996. The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research...read more
By P. Miglioli, Pierangelo Miglioli (editor), Daniele Mundici (editor) and Mario Ornaghi (editor)
See complete details on each edition (1 edition listed)
Edition summary (click for prices and details):

Paperback:

9783540612087 | Springer Verlag, June 1, 1996, cover price $74.95 | About this edition: This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996.

2
Theoretical Computer Science: Proceedings of the Third Italian Conference, Mantova, 2-4 November 1989
By Alberto Bertoni (editor), C. Bohm and P. Miglioli (editor)
See complete details on each edition (1 edition listed)
Edition summary (click for prices and details):

Hardcover:

9789810200701 | World Scientific Pub Co Inc, December 1, 1989, cover price $74.00

displaying 1 to 2 | at end