Title:

Logical Methods in Computer Science

Title version:

LMCS

Contributor:

Scott, Dana S.

Publisher:

International Federation of Computational Logic

Date:

2005-

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ą.

www comment:

Prezentowany opis stanowi element sporządzonej na podstawie analizy krajowych i zagranicznych zasobów cyfrowych bazy wiedzy rejestrującej internetowe źródła informacji z zakresu nauk przyrodniczo-matematycznych. Został przygotowany przez pracowników Instytutu Informacji Naukowej i Bibliotekoznawstwa Uniwersytetu Jagiellońskiego w ramach projektu Synat. Treść publikacji stanowi odnośnik do opisanego zasobu (ten sam odnośnik znajduje się w polu Źródło). Całą bazę można przeglądać, wybierając w lewym panelu nawigacyjnym kolekcję tematyczną „Baza zasobów cyfrowych z zakresu nauk przyrodniczo-matematycznych”.

Source:

click here to follow the link

Digital copy identifier:

DIGONLINE000295

Subject and Keywords:

teoria informatyki ; automatyczne wnioskowanie ; automatyczne dowodzenie twierdzeń ; sztuczna inteligencja ; logika w informatyce ; programowanie logiczne

Language:

eng

KBN:

Informatyka

UKD:

004 Informatyka

Resource Type:

strona naukowa

Format:

text/html

ISSN:

1860-5974

Sponsorship:

Synat