01282nam2-2200373li-450 99000020047020331620180312154643.03-540-67190-00020047USA010020047(ALEPH)000020047USA0100200472001999012000-------y0itay0103----baengGWAutomated deduction in classical and non-classical logicsRicardo Caferra ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 2000VIII, 297 p.ill.24 cmLecture notes in artificial intelligence176100100199922001Lecture notes in artificial intelligenceCAFERRA,RicardoSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000200470203316006.3 LNIA (1761)0024850006.300100032BKSCI1999010420001110USA011713ALANDI9020010402USA01161120020403USA011627PATRY9020040406USA011614FIORELLA9020070115USA011346Automated deduction in classical and non-classical logics1488828UNISA