Domov / Knjiga

Automated Reasoning With Analytic Tableaux and Related Methods Lecture Notes in Artificial Intelligence

32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Revantha Ramanayake, Josef Urban

Založnik: Springer

Cena knjige 48,49 EUR

ISBN9783031435126

VezavaMehka vezava

RazpoložljivostNa zalogi

Datum izdaje2023

StraniNi podatka

Brezplačna dostava v Slovenijo.

Naroči knjigo

Sorodne knjige

Automated Reasoning With Analytic Tableaux and Related Methods

TABLEAUX 2011, Kai Brünnler, George Metcalfe

Datum izdaje: 2011

ISBN: 9783642221187

55,53 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Automated Reasoning With Analytic Tableaux and Related Methods Lecture Notes in Artificial Intelligence

Gian Luca Pozzato (editor), Tarmo Uustalu (editor)

ISBN: 9783032060846

47,77 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Automated Reasoning With Analytic Tableaux and Related Methods

TABLEAUX 2003, Marta Cialdea Mayer, Fiora Pirri

Datum izdaje: 2003

ISBN: 9783540407874

59,43 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Automated Reasoning With Analytic Tableaux and Related Methods

TABLEAUX 2000, Roy Dyckhoff

Datum izdaje: 2000

ISBN: 9783540676973

57,06 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Automated Reasoning With Analytic Tableaux and Related Methods

TABLEAUX 2002 (Conference), Uwe Egly, C. Fermüller

Datum izdaje: 17. september 2002

ISBN: 9783540439295

55,93 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Automated Reasoning With Analytic Tableaux and Related Methods

TABLEAUX '99 (Conference), Neil V. Murray

Datum izdaje: 22. junij 1999

ISBN: 9783540660866

55,76 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo