Komputerowe uzasadnienie: podejście

This is the translation. The original web-page (oryginalna strona): http://www.cs.utexas.edu/~moore/publications/acl2-books/car/index.html Matt Kaufmann, Panagiotis Manolios, i J Strother Moore, Kluwer Academic Publishers, Czerwiec 2000 r. (ISBN 0-7923-7744-3) Opis Tabela Zawartość oraz fragmenty (PDF .2Mb) (PS .8Mb). Załączniki („Korzystanie z systemu acl2”, „Dodatkowe funkcje”), Read More …