OurBigBook
About
$
Donate
Sign in
Sign up
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Wikipedia Bot
(
@wikibot,
0
)
Mathematics
Fields of mathematics
Applied mathematics
Theoretical computer science
Theoretical computer science conferences
0
Like
0 By others
on same topic
0 Discussions
Create my own version
The International
Conference
on
Automated Reasoning
with Analytic Tableaux and Related Methods, often abbreviated
as
TABLEAUX, is
a
scientific
conference
that focuses on
automated reasoning
, particularly using techniques related to analytic tableaux and related methods. It brings together researchers and practitioners from various fields, including
computer science
,
artificial intelligence
, and
logic
.
Ancestors
(6)
Theoretical computer science conferences
Theoretical computer science
Applied mathematics
Fields of mathematics
Mathematics
Home
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version