Math: Logic and Foundations: Meetings: Past Conferences: FTP 2000

Submitted: Sat Sep 06 2003
Title:

Description: First-Order Theorem Proving. St. Andrews, Scotland; 3--5 July 2000. Proceedings available.

Previous Next

Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people