01816nam0 2200349 i 450 VAN005157820231213103512.744978-08-218-0595-420060907d1997 |0itac50 baengUS|||| |||||Decision problems for equational theories of relation algebrasHajnal Andreka, Steven Givant, Istvan NemetiProvidence, R. I.American Mathematical Society1997XIV, 126 p.ill.26 cm001VAN00243702001 Memoirs of the American Mathematical Society210 ProvidenceAmerican mathematical society60403B05Classical propositional logic [MSC 2020]VANC021402MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MF03G15Cylindric and polyadic algebras; relation algebras [MSC 2020]VANC024503MF08B15Lattices of varieties [MSC 2020]VANC024507MFUSProvidenceVANL000273AndrékaHajnalVANV040514726411GivantSteven R.VANV04015459680NemetiIstvanVANV040515726410American mathematical societyVANV108732650ITSOL20231215RICA/sebina/repository/catalogazione/documenti/Andreka, Givant, Nemeti - Decision problems for equational theories of relation algebras.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0051578BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0130 08 6970 I 20060907 Decision problems for equational theories of relation algebras1427672UNICAMPANIA01906nam 2200601 a 450 991078121880332120210114051251.00-295-80000-3(CKB)2550000000039886(OCoLC)744362069(CaPaEBR)ebrary10482263(SSID)ssj0000520768(PQKBManifestationID)11358142(PQKBTitleCode)TC0000520768(PQKBWorkID)10515011(PQKB)11712363(MiAaPQ)EBC3444341(EXLCZ)99255000000003988620150424d2010|||| s|| |engtxtccrAffect and Artificial Intelligence[electronic resource]Seattle, WA, USAUniversity of Washington Press20100801University of Washington Press1 online resource (197 p.) In vivo : the cultural mediations of biomedical science Affect and artificial intelligence Bibliographic Level Mode of Issuance: Monograph0-295-99047-3 COMPUTERSbisacHistorybisacArtificial intelligencePsychological aspectsInformation technologyAffect (Psychology)EmotionsEngineering & Applied SciencesHILCCComputer ScienceHILCCCOMPUTERSHistoryArtificial intelligencePsychological aspectsInformation technologyAffect (Psychology)EmotionsEngineering & Applied SciencesComputer Science006.3Wilson Elizabeth A606762PQKBBOOK9910781218803321Affect and Artificial Intelligence3749012UNINA