Logical Methods in Computer Science
Title version: Contributor: Publisher:International Federation of Computational Logic
Date: Access date: Description:Otwarty dostęp. Archizwizowane w ramach Computing Research Repository (część arXiv.org)
Abstract: www comment: Source: Digital copy identifier: Subject and Keywords:teoria informatyki ; automatyczne wnioskowanie ; automatyczne dowodzenie twierdzeń ; sztuczna inteligencja ; logika w informatyce ; programowanie logiczne
Language: KBN: UKD: Resource Type: Format: ISSN: Sponsorship: