Listing 1 - 10 of 78 | << page >> |
Sort by
|
Choose an application
Logic --- Logic, Symbolic and mathematical --- Logic. --- Logic, Symbolic and mathematical.
Choose an application
Logic --- Logic, Symbolic and mathematical --- Logic. --- Logic, Symbolic and mathematical.
Choose an application
Choose an application
Choose an application
Choose an application
Choose an application
Logic, Symbolic and mathematical --- Mathematics --- Probabilities --- Philosophy
Choose an application
The symposium, held in Santa Cruz, Calif., June 1992, heard some 40 papers, selected on the basis of originality, quality, and relevance to computer science, in particular, theoretical and practical issues that relate to logic in a broad sense, including algebraic, categorical, and topological approaches. No index. Annotation copyrighted by Book News, Inc., Portland, OR.
Computer science --- Logic, Symbolic and mathematical. --- Mathematics.
Choose an application
The symposium, held in Santa Cruz, Calif., June 1992, heard some 40 papers, selected on the basis of originality, quality, and relevance to computer science, in particular, theoretical and practical issues that relate to logic in a broad sense, including algebraic, categorical, and topological approaches. No index. Annotation copyrighted by Book News, Inc., Portland, OR.
Computer science --- Logic, Symbolic and mathematical. --- Mathematics.
Choose an application
Listing 1 - 10 of 78 | << page >> |
Sort by
|