Κανονική προβολή Προβολή MARC Προβολή ISBD

A computational logic handbook Robert s. Boyer and J. Strother Moore auth. - 2nd ed. - San Diego Academic Press 1998 - xxv,518p. - Academic Press International Series in Formal Methods / Micahel G. Hinchey .

Τομέας Εφαρμογών και Θεμελιώσεων της Επιστήμης των Υπολογιστών. Εργαστήριο Συνδυαστικών Αλγορίθμων

ISBN: 0 12 122955 6

Subjects--Topical Terms:
ΕΣΑ
HANDBOOK
Υπολογιστική
COMPUTATIONAL LOGIC

Dewey Class. No.: 005.131