MPG.eBooks - Search Results - tables algorithms

Search alternatives:
tables algorithms » tableau algorithms , trees algorithms , tableau algorithm

Cover Image

1

Programming Concepts and Methods PROCOMET ’98 : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, Ne...

Published 1998

Springer US

Table of Contents: “... hardware verification -- 3 Invited lecture Programming with tabling in XSB -- 4 Invited lecture Verifying...”