Search Results for Machine theory. - Narrowed by: Logica. SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dMachine$002btheory.$0026qf$003dSUBJECT$002509Subject$002509Logica.$002509Logica.$0026ps$003d300?dt=list 2026-06-11T13:32:48Z Infinite words : automata, semigroups, logic and games ent://SD_ILS/0/SD_ILS:1188438 2026-06-11T13:32:48Z 2026-06-11T13:32:48Z by&#160;Perrin, Dominique.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780125321112">http://www.sciencedirect.com/science/book/9780125321112</a> ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=00798169&volume=141">http://www.sciencedirect.com/science/publication?issn=00798169&volume=141</a> ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/00798169/141">http://www.sciencedirect.com/science/bookseries/00798169/141</a><br/>Format:&#160;Electronic Resources<br/> Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 ent://SD_ILS/0/SD_ILS:1183204 2026-06-11T13:32:48Z 2026-06-11T13:32:48Z by&#160;IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898807">http://www.sciencedirect.com/science/book/9780444898807</a><br/>Format:&#160;Electronic Resources<br/>