About the Journal
In computer science, logical techniques are essential tools used for reasoning about computational problems, designing algorithms, and ensuring correctness in software and hardware systems. These techniques are rooted in formal logic and mathematical reasoning and are applied in various domains like artificial intelligence (AI), databases, programming languages, formal verification, and more. Here’s an overview of some key logical techniques used in computer science:
- Title proper: Logical Techniques in computer science
- Journal Initials: LTCS
- Subject: Logical Techniques
- Publisher: Python Publishing Press
- Dates of publication: 2023
- Frequency: Quarterly
- Language: English
- Country: India
- Medium: Online
- Indexed by: CROSSREF
- Title DOI of the Journal: http://doi.org/ 10.70705
Current Issue
Vol. 2 No. 2 (2024): Volume 2 Issue 2 2024 ( In Press)
Published:
2024-10-17
