Search results 19
Paper図書
National Diet Library
Paper図書
National Diet Library
Paper図書
National Diet Library
Paper図書
National Diet Library
Paper図書
National Diet Library
- Note (General)...e. Index term: descriptive complexity ; finite models ; DIMACS ; di...
- Alternative Titledescriptive complexity ; finite models ; DIMACS ; di...
- Alternative Titledescriptive complexity ; finite models ; DIMACS ; di...
Paper図書
Other Libraries in Japan
Paper図書
Other Libraries in Japan
Paper図書
Other Libraries in Japan
Paper図書
Other Libraries in Japan
Paper図書
Other Libraries in Japan
Paper図書
Other Libraries in Japan
- Note (General)...CS Workshop on Descriptive Complexity and Finite Models, held at Pr...
- Author HeadingImmerman, Neil Kolaitis, Phokion DIMACS Workshop on Descriptive Complexity and Finite Models
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc....ty, logic, and descriptive complexity. Researchers and graduate stu...
- Contents...ty, Logic, and Descriptive Complexity Admissibly Represented Spaces...
Paper図書
Other Libraries in Japan
- Related Material...heorem proving Descriptive complexity Fundamentals of the new artif...
Paper図書
Other Libraries in Japan
- Related Material...Colloquium '90 Descriptive complexity, canonisation, and definable ...
Paper図書
Other Libraries in Japan
- Related Material... DIMACS Center Descriptive complexity and finite models : proceedin...
Reached to the end of result.