LPAR '93 (1993 Saint Petersburg, Russia)

LPAR '93 (1993 Saint Petersburg, Russia)

1 books in the database

Books

Logic programming and automated reasoningLPAR '93 (1993 Saint Petersburg, Russia)

Logic programming and automated reasoning

LPAR '93 (1993 Saint Petersburg, Russia) · 1993