Cover image for Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
Title:
Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
Author:
Agotnes, Thomas. editor.
ISBN:
9783642315701
Edition:
1st ed. 2012.
Physical Description:
XII, 215 p. 21 illus. online resource.
Series:
Lecture Notes in Artificial Intelligence, 7393
Subject Term:
Machine theory.

Artificial intelligence.

Computer science.

Information technology-Management.

Computer programming.

Computer science-Mathematics.

Discrete mathematics.

Formal Languages and Automata Theory.

Computer Science Logic and Foundations of Programming.

Computer Application in Administrative Data Processing.

Programming Techniques.

Discrete Mathematics in Computer Science.
Added Author:
Agotnes, Thomas.

Broersen, Jan M.

Elgesem, Dag.
Added Corporate Author:
SpringerLink (Online service)
Electronic Access:
https://doi.org/10.1007/978-3-642-31570-1

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Searching...
 E-Book 175738-1001 QA267 -268.5
Searching...

On Order