Domov / Knjiga

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

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

Cena knjige 47,90 EUR

ISBN9783032060846

VezavaMehka vezava

RazpoložljivostNa zalogi

Datum izdajeNi podatka

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,68 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,59 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,20 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

56,08 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,91 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

Revantha Ramanayake (editor), Josef Urban (editor)

Datum izdaje: 2023

ISBN: 9783031435126

48,61 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo