SearchRefinersRefinersisbn Close fieldRefinersRefinersSearch results 120 results per page50 results per page100 results per pageListThumbnailsTableRelevancePublished (old first)Published (new first)Title (ascend)Title (descend)Author (ascend)Author (descend)Call numberGroup by titleAdd all to My ListHandbook of automated reasoning Elsevier: set Elsevier: v. 1 Elsevier: v. 2 MIT: set MIT: v. 1 MIT: v. 2Handbook of automated reasoning Elsevier: set Elsevier: v. 1 Elsevier: v. 2 MIT: set MIT: v. 1 MIT: v. 2Paper図書editors, Alan Robinson and Andrei VoronkovElsevierc2001Other Libraries in JapanISBN0444508139 0444829490 0444508120 0262182...Reached to the end of result.Bulk download of bibliographic informationRSS