Well-Quasi Orders in Computation, Logic, Language and Reasoning

EISBN:9783030302290
PISBN:9783030302283
出版社:Springer International Publishing
出版类型:Contributed volume
出版时间:2020
版次:1st ed. 2020
作者:Peter M. Schuster,Monika Seisenberger,Andreas Weiermann
主题词:Philosophy,Logic,Graph Theory,Mathematical Logic and Formal Languages,Combinatorics,Logic Design
语种:英语
所属数据库:SpringerLink电子图书
丛书题名:Trends in Logic
相关推荐

Logic, Language and Reasoning

  • 作者:Hans Jürgen Ohlbach,Uwe Reyle
  • EISBN:9789401145749
  • 出版社:Springer Netherlands
  • 出版时间:1999

Logic, Language and Reasoning

  • 作者:Hans Jürgen Ohlbach,U. Reyle
  • EISBN:9789401145749
  • 出版社:Springer Netherlands
  • 出版时间:1999

Logic, Language, and Computation

  • 作者:Peter Bosch,David Gabelaia,Jérôme Lang
  • EISBN:9783642006654
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Logic, Language and Computation

  • 作者:Neil Jones,Masami Hagiya,Masahiko Sato
  • EISBN:9783540483915
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1994

Logic, Language, and Computation

  • 作者:Martin Aher,Daniel Hole,Emil Jeřábek,Clemens Kupke
  • EISBN:9783662469064
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2015

Language, Logic, and Computation

  • 作者:Aybüke Özgün;Yulia Zinova
  • EISBN:9783030984793
  • 出版社:Springer Nature
  • 出版时间:2022