Showing 1 - 8 results of 8 for search '', query time: 0.02s Refine Results
  1. 1
    Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /
    Published 1990
    Book
  2. 2
    Gems of theoretical computer science /
    by Schöning, Uwe, 1955-
    Published 1998
    Book
  3. 3
    Logical environments /
    Published 1993
    Book
  4. 4
    Logical frameworks /
    Published 1991
    Book
  5. 5
    Ontic : a knowledge representation system for mathematics /
    by McAllester, David A.
    Published 1989
    Book
  6. 6
    A proof theory for general unification /
    by Snyder, Wayne, 1955-
    Published 1991
    Book
  7. 7
    Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P
    Get full text
    Book
  8. 8
    Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
    Get full text
    Book
Search Tools: RSS Feed – Email Search