SwePub
Sök i LIBRIS databas

  Utökad sökning

WFRF:(Naor Moni.)
 

Sökning: WFRF:(Naor Moni.) > (2008) > Computer Science Logic

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Kaminski, Simone Martini.

Hutchison, David. (författare)
Kaminski, Michael. (författare)
Kanade, Takeo. (författare)
visa fler...
Kittler, Josef. (författare)
Kleinberg, Jon M. (författare)
Martini, Simone. (författare)
Mattern, Friedemann. (författare)
Mitchell, John C. (författare)
Naor, Moni. (författare)
Nierstrasz, Oscar. (författare)
Pandu Rangan, C. (författare)
Steffen, Bernhard. (författare)
Sudan, Madhu. (författare)
Terzopoulos, Demetri. (författare)
Tygar, Doug. (författare)
Vardi, Moshe Y. (författare)
Weikum, Gerhard. (författare)
visa färre...
 
ISBN 9783540875314
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
Engelska
Serie: Lecture Notes in Computer Science, 0302-9743 ; 5213
  • swepub:Mat__t
Ämnesord
Stäng  

Ämnesord

Artificial intelligence  (LCSH)
Computer science  (LCSH)
Logic design  (LCSH)
Logic, Symbolic and mathematical  (LCSH)
Computer Science 
Artificial Intelligence (incl. Robotics) 
Logics and Meanings of Programs 
Mathematical Logic and Formal Languages 
Mathematical Logic and Foundations 

Nyckelord

Springer eBooks

Hitta via bibliotek

Till lärosätets databas

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy