Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

Sergei Artemov · Anil Nerode

juni 2007 · Springer

E-bok

516

Sidor

Betyg och recensioner verifieras inte Läs mer

Om den här e-boken

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.

Betygsätt e-boken

Berätta vad du tycker.

Läsinformation

Smartphones och surfplattor

Installera appen Google Play Böcker för Android och iPad/iPhone. Appen synkroniseras automatiskt med ditt konto så att du kan läsa online eller offline var du än befinner dig.

Laptops och stationära datorer

Du kan lyssna på ljudböcker som du har köpt på Google Play via webbläsaren på datorn.

Läsplattor och andra enheter

Om du vill läsa boken på enheter med e-bläck, till exempel Kobo-läsplattor, måste du ladda ned en fil och överföra den till enheten. Följ anvisningarna i hjälpcentret om du vill överföra filerna till en kompatibel läsplatta.

Rapportera olagligt innehåll