Pergamos - Library and Information Center of National and Kapodistrian University of Athens

Original Title:

Application of logic to computer science

Languages of Item:

English

Creator:

Zachos, Stathis

Abstract:

Empty abstract

Main subject category:

Logic

Other subject categories:

Computer science

Keywords:

computer science, computational complexity, interactive proof systems, modal logic, Kripke systems, artificial intelligence

Pages (from-to):

349-350

Notes:

Ομαδική συζήτηση

Persistent URL:

https://pergamos.lib.uoa.gr/uoa/dl/object/1047116