Search alternatives:
automated theory » automated theorem, automata theory, automatic theorem
Cover Image
Read Now

1
by Pouly, Marc, Kohlas, Jürg
Published 2011
Wiley
Table of Contents: “... Algebras for Path Problems -- Language and Information -- Applications. Dynamic Programming -- Sparse...”
Cover Image
Read Now

2
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Architecture AKIRA -- Goal-DirectedAutomated Negotiation for Supporting Mobile User Coordination --...”
Cover Image
Read Now

3
Published 2024
Springer Nature Switzerland
Table of Contents: “... -- Leveraging Chat-Based Large Vision-Language Models for Multimodal Out-of-Context Detection -- Enhancing the 5...”
Cover Image
Read Now

4
Published 2024
Springer Nature Switzerland
Table of Contents: “... App Interfaces with Large Language Model -- Towards the Automated Population of Thesauri Using Bert: A...”
Cover Image
Read Now

5
Published 2011
Springer Netherlands
Table of Contents: “... FBS framework, by Caetano Cascini, Luca Del Frate, Gualtiero Fantoni and Francesca Montagna -- Formal...”