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

Sergei Artemov · Anil Nerode

Hun 2007 · Springer

E-book

516

Mga Page

Hindi na-verify ang mga rating at review Matuto Pa

Tungkol sa ebook na ito

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.

I-rate ang e-book na ito

Ipalaam sa amin ang iyong opinyon.

Impormasyon sa pagbabasa

Mga smartphone at tablet

I-install ang Google Play Books app para sa Android at iPad/iPhone. Awtomatiko itong nagsi-sync sa account mo at nagbibigay-daan sa iyong magbasa online o offline nasaan ka man.

Mga laptop at computer

Maaari kang makinig sa mga audiobook na binili sa Google Play gamit ang web browser ng iyong computer.

Mga eReader at iba pang mga device

Para magbasa tungkol sa mga e-ink device gaya ng mga Kobo eReader, kakailanganin mong mag-download ng file at ilipat ito sa iyong device. Sundin ang mga detalyadong tagubilin sa Help Center para mailipat ang mga file sa mga sinusuportahang eReader.

Mag-ulat ng ilegal na content