Liknande böcker

Automated Deduction - CADE-11 : 11th International Conference on Automat...
Bok av International Conference on Automated Deduction
9th International Conference on Automated Deduction : Argonne, Illinois,...
Bok av Ewing Lusk
Logics in AI
Bok av David Pearce
Logic programming and automated reasoning : proceedings
Bok av Andrei Voronkov
Higher order logic theorem proving and its applications : 7th internatio...
Bok av Thomas F Melham
Logic programming and automated reasoning
Bok av Frank Pfenning
Nonmonotonic and Inductive Logic : Second International Workshop, Reinha...
Bok av Gerhard Brewka
Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe...
Bok av Klaus P Jantke

The Logic of Theory Change

Bok