Object

Title version:

LMCS

Contributor:

Scott, Dana S.

Publisher:

International Federation of Computational Logic

Access date:

2011.05.30

Description:

Otwarty dostęp. Archizwizowane w ramach Computing Research Repository (część arXiv.org)

Abstract:

Logical Methods in Computer Science jest naukowym, recenzowanym czasopismem, ukazującym się kwartalnie wyłącznie w wersji cyfrowej. Publikowane artykuły dotyczą różnych teoretycznych i praktycznych aspektów wykorzystania metod logicznych w informatyce, w tym między innymi następujących zagadnień: automatyczne rozumowanie, wnioskowanie i dowodzenie twierdzeń, sztuczna inteligencja, logika algorytmiczna, programowanie logiczne (programowanie w języku logiki), logika programowania, weryfikacja programów, logika obliczeniowa itp. Niezależnie serwis WWW czasopisma oferuje linki do stron WWW naukowców zajmujących się zagadnieniami logiki w informatyce, kanał RSS oraz usługę powiadamiania pocztą elektroniczną.

Source:

click here to follow the link

Digital copy identifier:

DIGONLINE000295

Language:

eng

KBN:

Informatyka

UKD:

004 Informatyka

Format:

text/html

Resource Identifier:

oai:jbc.bj.uj.edu.pl:213618

ISSN:

1860-5974

Sponsorship:

Synat