Computation, Logic, Philosophy

Beschreibung

Autor*in

Wang Hao

Themen in »Computation, Logic, Philosophy«

Approximation Matching artificial intelligence automated theorem proving boolean satisfiability problem classification communication complexity computability information logic model theory proof set theory theorem proving

Stimmen zu »Computation, Logic, Philosophy«

Details

Link teilen