Author: Tableaux 2000 (2000 : St. Andrews, Scotland)

Author's info and books

Information about author Tableaux 2000 (2000 : St. Andrews, Scotland) from several data sources.

Author Search

Search for any author

AI-generated bio of "Tableaux 2000 (2000 : St. Andrews, Scotland)":


Authors Results

Source: The Open Library

Authors called "Tableaux 2000 (2000 : St. Andrews, Scotland)"

Search results for authors called Tableaux 2000 (2000 : St. Andrews, Scotland) from The Open Library

TABLEAUX 2000 (2000 St. Andrews, Scotland)

Basic Info:

  • Name: TABLEAUX 2000 (2000 St. Andrews, Scotland)
  • Last Name: Scotland)
Top of Page

Books Results

Source: The Open Library

Tableaux 2000 (2000 : St. Andrews, Scotland) Books

Books writen by author Tableaux 2000 (2000 : St. Andrews, Scotland) from The Open Library

1Automated reasoning with analytic tableaux and related methods

By

“Automated reasoning with analytic tableaux and related methods” Metadata:

  • Title: ➤  Automated reasoning with analytic tableaux and related methods
  • Author: ➤  
  • Language: English

Access and General Info:

  • First Year Published: 2000
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Automated reasoning with analytic tableaux and related methods at online marketplaces:


Top of Page