Edition

9th International Conference on Automated Deduction

9th International Conference on Automated Deduction

author

Ewing Lusk

Ross Overbeek

date of publication:  1988-05-04
ISBN-13:  978-3-540-19343-2
ISBN-10:  3-540-19343-X
work from which this is an edition:  9th International Conference on Automated Deduction
edition language:  German
Add to my inventory

In your inventory

nothing here

In your friends' and groups' inventories

nothing here

Nearby

nothing here

Elsewhere

nothing here

Edition - isbn:9783540193432 - inv:400d2dab2dfcebbc6e6feda5fa337a8d

Welcome to Inventaire

the library of your friends and communities
learn more
you are offline