1.

Record Nr.

UNISA990000766120203316

Autore

KLJUCEVSKIJ, Vasilij Osipovic

Titolo

Special'nye kursy (6-7) / Vasilij Osipovic Kljucevskij

Pubbl/distr/stampa

Moskva, : Mysl, 1989

ISBN

5-244-00367-4

5-244-00413-1

Descrizione fisica

2 volumi

Disciplina

947

Soggetti

Russia - Storia

Russia - Cultura

Collocazione

X.2.B. 1401/6(II r A 373/VI)

X.2.B. 1401/7(II r A 373/VII)

Lingua di pubblicazione

Russo

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Titolo tradotto: Corsi speciali



2.

Record Nr.

UNISA996418283903316

Titolo

Rules and Reasoning [[electronic resource] ] : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / / edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman

Pubbl/distr/stampa

Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020

ISBN

3-030-57977-8

Edizione

[1st ed. 2020.]

Descrizione fisica

1 online resource (XVI, 187 p. 96 illus., 19 illus. in color.)

Collana

Programming and Software Engineering ; ; 12173

Disciplina

005.1015113

Soggetti

Computers

Software engineering

Artificial intelligence

Computer logic

Knowledge representation (Information theory) 

Application software

Theory of Computation

Information Systems and Communication Service

Software Engineering/Programming and Operating Systems

Logic in AI

Knowledge based Systems

Computer Appl. in Administrative Data Processing

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Includes index.

Nota di contenuto

Invited Papers -- Full Papers -- Technical Communication Papers.

Sommario/riassunto

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems). The 7 full research papers presented together with 6 short technical communications papers were carefully reviewed and



selected from 30 submissions. *The conference was held virtually due to the COVID-19 pandemic.