ISBN 9783540543053 books & textbook
Truth Maintenance Systems: ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990. Proceedings (Lecture Notes in Computer Science, 515)
Martins, Joao P. Reinfrank, Michael
Springer /1991-07-24 Paperback / 187 Pages
isbn-10: 3540543058 / isbn-13: 9783540543053
