Logic, Language, Information, and Computation : 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Logic, Language, Information, and Computation : 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Kozen, Dexter (EDT)/ de Queiroz, Ruy (EDT)

  • ウェブストア価格 ¥16,365(本体¥14,878)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 740pt
  • 海外取次在庫
Logic for Concurrency and Synchronisation (Trends in Logic, V. 18)
  • 洋書
  • ポイントキャンペーン

Logic for Concurrency and Synchronisation (Trends in Logic, V. 18)  Hardcover,  言語:ENG

De Queiroz, Ruy J. G. B. (EDT)

  • ウェブストア価格 ¥24,004(本体¥21,822)
  • Kluwer Academic Pub(2003/07発売)
  • ポイント 1,090pt
  • 海外取次在庫
Logic, Language, Information, and Computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書
  • ポイントキャンペーン

Logic, Language, Information, and Computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

de Paiva, Valeria (EDT)/ de Queiroz, Ruy (EDT)/ Moss, Lawrence S. (EDT)

  • ウェブストア価格 ¥9,818(本体¥8,926)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/07発売)
  • ポイント 445pt
  • 海外取次在庫
Functional Interpretation of Logical Deduction, the (Advances in Logic)
  • 洋書
  • ポイントキャンペーン

Functional Interpretation of Logical Deduction, the (Advances in Logic)  Hardcover,  言語:ENG

De Oliveira, Anjolina G/ Gabbay, Dov M/ De Queiroz, Ruy J G B

  • ウェブストア価格 ¥24,006(本体¥21,824)
  • World Scientific Publishing Co Pte Ltd(2011/11発売)
  • ポイント 1,090pt
  • 海外取次在庫
Logica e Estrutura
  • 洋書
  • ポイントキャンペーン

Logica e Estrutura  Paperback

Van Dalen, Dirk/ de Queiroz, Ruy Jgb(TRN)

  • ウェブストア価格 ¥4,576(本体¥4,160)
  • College Publications(2017/11発売)
  • ポイント 205pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings (Theoretical Computer Science and General Issues)  Paperback

Väänänen, Jouko (EDT)/ Hirvonen, Åsa (EDT)/ de Queiroz, Ruy (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/08発売)
  • ポイント 545pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic, Language, Information, and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7456) (2nd ed. 2012. XII, 337 p. 235 mm)
  • 洋書
  • ポイントキャンペーン

Logic, Language, Information, and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7456) (2nd ed. 2012. XII, 337 p. 235 mm)  Paperback

Ed. by de Queiroz, Ruy/ Ong, Luke

  • ウェブストア価格 ¥13,767(本体¥12,516)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 625pt
  • 海外取次在庫
Logic, Language, Information and Computation : 17th International Workshop, Wollic 2010 Brasilia, Brazil, July 6-9, 2010 Proceedings (Lecture Notes in
  • 洋書
  • ポイントキャンペーン

Logic, Language, Information and Computation : 17th International Workshop, Wollic 2010 Brasilia, Brazil, July 6-9, 2010 Proceedings (Lecture Notes in  Paperback,  言語:ENG

Dawar, Anuj (EDT)/ De Queiroz, Ruy (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer-Verlag New York Inc(2010/07発売)
  • ポイント 545pt
  • 海外取次在庫
Uma Versao Mais Curta De Teoria Dos Modelos
  • 洋書
  • ポイントキャンペーン

Uma Versao Mais Curta De Teoria Dos Modelos  Paperback,  言語:POR

Hodges, Wilfrid/ de Queiroz, Ruy J. G. B (TRN)

  • ウェブストア価格 ¥5,199(本体¥4,727)
  • College Publications(2012/12発売)
  • ポイント 235pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic, Language, Information, and Computation : 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings (Lecture Notes in Computer Science 14672) (2024. xxiv, 293 S. XXIV, 293 p. 32 illus., 6 illus. in color. 235 mm)
  • 洋書
  • ポイントキャンペーン

Logic, Language, Information, and Computation : 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings (Lecture Notes in Computer Science 14672) (2024. xxiv, 293 S. XXIV, 293 p. 32 illus., 6 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Metcalfe, George/ Studer, Thomas/ De Queiroz, Ruy

  • ウェブストア価格 ¥17,899(本体¥16,272)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 810pt
  • 海外取次在庫