1～7件／全7件 セーフサーチON
  •  
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,315（本体¥22,105）
  • World Scientific Publishing Co Pte Ltd（2011/11発売）
  • ポイント 221pt
  • 海外取次在庫
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,313（本体¥22,103）
  • Kluwer Academic Pub（2003/07発売）
  • ポイント 221pt
  • 海外取次在庫
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,266（本体¥4,788）
  • College Publications（2012/12発売）
  • ポイント 47pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings (Theoretical Computer Science and General Issues) （2014）
  • 洋書

Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings (Theoretical Computer Science and General Issues) （2014）  Paperback,  言語：ENG

Kohlenbach, Ulrich (EDT)/ Barceló, Pablo (EDT)/ de Queiroz, Ruy J G B (EDT)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/07発売）
  • ポイント 110pt
  • 海外取次在庫
Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Kennedy, Juliette (EDT)/ de Queiroz, Ruy J.G.B. (EDT)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2017/06発売）
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic, Language, Information, and Computation : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Logic, Language, Information, and Computation : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Ciabattoni, Agata (EDT)/ Pimentel, Elaine (EDT)/ de Queiroz, Ruy J. G. B. (EDT)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer International Publishing AG（2022/09発売）
  • ポイント 110pt
  • 海外取次在庫
Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Hansen, Helle Hvid (EDT)/ Scedrov, Andre (EDT)/ de Queiroz, Ruy J.G.B. (EDT)

  • ウェブストア価格 ¥18,786（本体¥17,079）
  • Springer International Publishing AG（2023/10発売）
  • ポイント 170pt
  • 海外取次在庫
1～7件／全7件
  •