Szczegóły obiektu: Logical Methods in Computer Science

Opis

• 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: http://www.lmcs-online.org/
• 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
• Identyfikator zasobu: oai:jbc-test.dlibra.psnc.pl:213618
• ISSN:
  1860-5974
• Źródło finansowania:
  Synat

Obiekt znajduje się w kolekcjach:

Informacje dodatkowe

• Data utworzenia: 2013-01-26
• Data ostatniej modyfikacji: 2018-10-23
• Liczba wyświetleń treści obiektu: 29
• Możesz również pobrać opis tego obiektu w formatach:
  RDF
   ;
  OAI-PMH