Èíôîðìàöèîííàÿ ñèñòåìà "Êîíôåðåíöèè"


The 9th Asian Logic Conference

16-19 August, 2005
Novosibirsk, Russia

Abstracts

The plenary talks

The theory and practice of automated reasoning in first-order.

Voronkov A.

The University of Manchester,
Department of Computer Science (Manchester)

We give an overview of automated theorem proving in first-order logic including the theory, implementation and applications. The overview will be accompanied by demos of the theorem prover Vampire. We will also consider possible future research directions in the area.

Mail to Webmaster
alc9@math.nsc.ru
|Home Page| |English Part| [SBRAS]
Go to Home
© 1996-2000, Siberian Branch of Russian Academy of Sciences, Novosibirsk
    Last update: 06-Jul-2012 (11:44:52)