Automated deduction -- CADE-11. Proceedings of the 11th international conference held in Saratoga Springs, NY, USA, June 15--18, 1992

From MaRDI portal

(Redirected from Publication:1305166)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Automated_deduction_--_CADE-11._Proceedings_of_the_11th_international_conference_held_in_Saratoga_Springs,_NY,_USA,_June_15--18,_1992&oldid=67337181"