SearchRefinersRefinersisbn Close fieldRefinersRefinersSearch results 220 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 ListComputational logic : Advanced study institute : Jul 1997, Marktoberdorf, Germany. (NATO ASI Series Series F ; 165)Computational logic : Advanced study institute : Jul 1997, Marktoberdorf, Germany. (NATO ASI Series Series F ; 165)Paper図書Springer1999.<M17-00-0083>National Diet LibraryComputational logicComputational logicPaper図書edited by Ulrich Berger, Helmut SchwichtenbergSpringerc1999Other Libraries in JapanReached to the end of result.Bulk download of bibliographic informationRSS