Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-11 of 11 results for author "Pacholski, Leszek."
Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 / edited by Angus Macintyre, Leszek Pacholski, Jeff Paris.
- Text
- Amsterdam ; New York : North Holland Pub. Co. ; New York : sole distributors for the U. S.A. and Canada, Elsevier North-Holland, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JSE 79-1578 Offsite Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 / edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie.
- Text
- Berlin ; New York : Springer-Verlag, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 833-834 Offsite Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / Leszek Pacholski, Jerzy Tiuryn (eds.).
- Text
- Berlin ; New York : Springer, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-1798 Offsite Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99, Szklarska Poręba, Poland, September 6-10, 1999 : proceedings / Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (eds.).
- Text
- Berlin ; New York : Springer, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 99-2008 Offsite SOFSEM 2001 : theory and practice of informatics : 28th Conference on Current Trends in Theory and Practice of Informatics, Piešt'any, Slovak Rebulic, November 24-December 1, 2001, proceedings / Leszek Pacholski, Peter Ružička (eds.)
- Text
- Berlin : London : Springer, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 02-10 Offsite Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 28-30, 1994 : proceedings / Leszek Pacholski, Jerzy Tiuryn, eds.
- Text
- Berlin ; New York : Springer-Verlag, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .W64 1994 Off-site Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99 Szklarska Poręba, Poland, September 6-10, 1999 : proceedings / Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki, eds.
- Text
- New York : Springer-Verlag, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA76.9.M35 M387 1999g Off-site SOFSEM 2001, theory and practice of informatics : 28th Conference on Current Trends in Theory and Practice of Informatics, Piešt̕any, Slovak Republic, November 24-December 1, 2001 : proceedings / Leszek Pacholski, Peter Ruzicka (eds.).
- Text
- Berlin : Springer, 2001.
- 2001
- 2 Items
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text QA76.751 .S62 2001 Off-site Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 28-30, 1994 : proceedings / Leszek Pacholski, Jerzy Tiuryn, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .W64 1994 Off-site Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 / edited by Angus Macintyre, Leszek Pacholski, Jeff Paris.
- Text
- Amsterdam ; New York : North Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text QA9.A1L63 1977 Off-site Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 / edited by Angus Macintyre, Leszek Pacholski, Jeff Paris.
- Text
- Amsterdam ; New York : North Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text QA9.A1 L63 1977 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
