Autologic

Autologic

by Tennant, Neil

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Autologic / Neil Tennant.

Edition Statements

  • Publication Date:©1992.

Publication Statements

The Physical Object

  • Description:XIII, 239 Seiten : : figur, tabl ; : 23 cm.

Edition Identifiers

  • ISBN:0748603581, 9780748603589
  • oclc:ocn633210643

Subjects

AUSSAGENLOGIK (MATHEMATISCHE LOGIK) AUTOMATED THEOREM PROVING (MATHEMATICAL… AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISC… Computer DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATH… INFERENCE SEARCH + PROOF THEORY (MATHEM… Intuitionistische Logik Künstliche Intelligenz Logik LOGIQUE PROPOSITIONNELLE (LOGIQUE MATHÉ… Prolog (Langage de programmation) PROLOG (PROGRAMMIERSPRACHEN) PROLOG (PROGRAMMING LANGUAGES) Proposition PROPOSITIONAL LOGIC (MATHEMATICAL LOGIC) RECHERCHE D'INFÉRENCE + THÉORIE DE LA P… SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHE…

Writers

Tennant, Neil

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Autologic -- (.djvu)

    DJVU · 1.8 MB · updated
    Login →