Object's details: Logical Methods in Computer Science

Description

• 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: http://www.lmcs-online.org/
• 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
• Resource Identifier: oai:jbc-test.dlibra.psnc.pl:213618
• ISSN:
  1860-5974
• Sponsorship:
  Synat

Object is located in the collections:

Additional information

• Creation date: 2013-01-26
• Last modification date: 2018-10-23
• Content object's number of views: 29
• You could also download the object's description in these formats:
  RDF
   ;
  OAI-PMH