Tytuł.:

Logical Methods in Computer Science

Wariant tytułu:

LMCS

Współtwórca:

Scott, Dana S.

Wydawca:

International Federation of Computational Logic

Data:

2005-

Data dostępu:

2011.05.30

Uwagi:

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

Abstrakt:

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

komentarz:

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

Źródło:

kliknij tutaj, żeby przejść

Identyfikator dokumentu cyfrowego:

DIGONLINE000295

Temat i słowa kluczowe:

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

Język:

eng

KBN:

Informatyka

UKD:

004 Informatyka

Typ zasobu:

strona naukowa

Format:

text/html

ISSN:

1860-5974

Źródło finansowania:

Synat