Dynamic Logic: A Review

Mar-15-2002–AI Magazine

This first part covers mathematical that teachers will find useful.

dynamic logic, logic, program verification, (13 more...)

Mar-15-2002

Country:
- North America
  - Canada (0.05)
  - United States
    - New York (0.05)
    - District of Columbia > Washington (0.05)
    - Massachusetts > Middlesex County
      - Cambridge (0.15)
    - California
      - San Francisco County > San Francisco (0.15)
      - San Mateo County > Menlo Park (0.05)
- Europe
  - Italy (0.05)
  - Spain > Galicia
    - Madrid (0.06)

Genre:
- Summary/Review (0.70)

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning
  - Logic & Formal Reasoning (0.72)
  - Expert Systems (0.48)

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found