Search results 6
PaperDigital図書
Available onlineNational Diet LibraryOther Libraries in Japan
- Note (General)原タイトル: Symbolic logic and mechanical theorem proving
- Additional TitleSymbolic logic and mechanical theorem proving
Paper図書
Other Libraries in Japan
- Note (General)Translation of: Symbolic logic and mechanical theorem proving Originally published: New Yor...
- Alternative Title...elʹstvo teorem Symbolic logic and mechanical theorem proving
- Alternative Title...elʹstvo teorem Symbolic logic and mechanical theorem proving
Paper図書
Other Libraries in Japan
- Toc / ArticleFormal languages Principles of program design Symbolic logic and mechanical theorem proving
- Related MaterialFormal languages Principles of program design Symbolic logic and mechanical theorem proving
Paper図書
Other Libraries in Japan
- Toc / Article...h applications Symbolic logic and mechanical theorem proving Constrained optimization and ...
- Related Material...h applications Symbolic logic and mechanical theorem proving Constrained optimization and ...
Reached to the end of result.