大象传媒

Automating Coherent Logic (ACL) is a funded research project initiated by the University of Bergen and the in September 2007. The project aims at building a so-called theorem prover, a computer program which supports the development of formal proofs. Applications range from mathematics to the so-called semantic web, where one reasons about Internet content.

听 听

, , , , ,

Events

• ACL seminar, 12-14 June 2008, Oslo, Norway