Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (2803)
Bok Engelsk c2003
Vis mer
Inngår i serie: Lecture notes in computer science (2803)
Bok Engelsk c2003
Vis mer
International Workshop on Deontic Logic in Computer Science
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (3065)
Bok Engelsk c2004
Vis mer
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (3065)
Bok Engelsk c2004
Vis mer
International Workshop on Deontic Logic in Computer Science
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (4048)
Bok Engelsk c2006
Vis mer
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (4048)
Bok Engelsk c2006
Vis mer
International Workshop on Automated Deduction in Geometry
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2930)
Bok Engelsk c2004
Vis mer
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2930)
Bok Engelsk c2004
Vis mer
International Workshop on Field-Programmable Logic and Applications
Inngår i serie: Lecture notes in computer science (1896)
Bok Engelsk c2000
Vis mer
Inngår i serie: Lecture notes in computer science (1896)
Bok Engelsk c2000
Vis mer
Anca L. Ralescu, James G. Shanahan (eds.)...
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (1566)
Bok Engelsk c1999
Vis mer
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (1566)
Bok Engelsk c1999
Vis mer