Search Results - Lecture Notes in Computer Science

Lecture Notes in Computer Science

Authors: Robin Dietrich, Philipp Spilger, Eric Müller, Johannes Schemmel, Alois C. Knoll

Source: Lecture Notes in Computer Science, Machine Learning, Optimization, and Data Science

Lecture Notes in Computer Science

Authors: Sergio Cabello, Panos Giannopoulos

Source: Lecture Notes in Computer Science, Approximation and Online Algorithms

Lecture Notes in Computer Science

Authors: Nuno Freitas, Carlos Veloso, Carlos Mavioso, Maria J. Cardoso, Hélder P. Oliveira, Jaime S. Cardoso

Source: Lecture Notes in Computer Science, Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in Breast Care

Lecture Notes in Computer Science

Authors: Sonia Belaïd, Matthieu Rivain, Mélissa Rossi

Source: Lecture Notes in Computer Science, Advances in Cryptology – EUROCRYPT 2025

Lecture Notes in Computer Science

Authors: Mohammad Hossein Zolfagharnasab, Nuno Freitas, Tiago Gonçalves, Eduard Bonci, Carlos Mavioso, Maria J. Cardoso, Hélder P. Oliveira, Jaime S. Cardoso

Source: Lecture Notes in Computer Science, Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in Breast Care

Thomas Piecha and Peter Schroeder-Heister. Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Studia Logica, vol. 107 (2019), no. 1, pp. 233–246. - Alexander V. Gheorghiu, Tao Gu and David J. Pym. Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. Automated Reasoning with Analytic Tableaux and Related Methods, Revantha Ramanayake and Josef Urban, Lecture Notes in Computer Science, vol. 14278, Springer, Cham, pp. 367–385. - Hermógenes Oliveira. On Dummett’s Pragmatist Justification Procedure. Erkenntnis, vol. 86 (2021), no. 2, pp. 429–455

Authors: Will Stafford

Source: The Bulletin of Symbolic Logic. 30:427-431

South African research contributions to Lecture Notes in Computer Science, 1973–2022

Authors: Filistéa Naudé Jan H. Kroeze

Source: South African Journal of Science; Vol. 120 No. 1/2 (2024)
South African Journal of Science, Vol 120, Iss 1/2 (2024)
South African Journal of Science, Volume: 120, Issue: 1-2, Pages: 1-14, Published: FEB 2024

Subject Terms: H1-99, Science (General), Science, Social Sciences, Social sciences (General), Q1-390, South Africa, Lecture Notes in Computer Science, bibliometrics, authorship, computer science researchers

File Description: application/pdf; text/html

Access URL: https://www.ajol.info/index.php/sajsci/article/view/263521
https://doaj.org/article/5bdbc026f01f4b4c97d81ba4c92394d9
http://www.scielo.org.za/scielo.php?script=sci_arttext&pid=S0038-23532024000100011&lng=en&tlng=en

South African research contributions to Lecture Notes in Computer Science, 1973–2022

Authors: Filistea Naude Jan Kroeze

Subject Terms: Other information and computing sciences not elsewhere classified, authorship, Bibliometrics, Lecture Notes in Computer Science, South Africa, computer science researchers

Relation: https://figshare.com/articles/journal_contribution/South_African_research_contributions_to_Lecture_Notes_in_Computer_Science_1973_2022/28919507

Availability: https://doi.org/10.6084/m9.figshare.28919507.v1
https://figshare.com/articles/journal_contribution/South_African_research_contributions_to_Lecture_Notes_in_Computer_Science_1973_2022/28919507

Lecture Notes in Computer Science

Authors: Amel Hidouri, Slimane Arbaoui, Ahmed Samet, Ali Ayadi, Tedjani Mesbahi, Romuald Boné, François de Bertrand de Beuvron

Source: Lecture Notes in Computer Science, Computational Science – ICCS 2024

Lecture Notes in Computer Science

Authors: Christian Majenz, Fabrizio Sisinni

Source: Lecture Notes in Computer Science, Advances in Cryptology – CRYPTO 2024

Lecture Notes in Computer Science

Authors: Nouri Alnahawi, Kathrin Hövelmanns, Andreas Hülsing, Silvia Ritsch

Source: Lecture Notes in Computer Science, Cryptology and Network Security

Lecture Notes in Computer Science

Authors: Xiyue Zhang, Benjie Wang, Marta Kwiatkowska

Source: TACAS 2024, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science

Authors: Yann Falevoz & Julien Legriel

Source: Euro-Par 2023: Parallel Processing Workshops

Preface [to Lecture Notes in Computer Science 10960]

Authors: Gervasi, Osvaldo Murgante, Beniamino Rocha, Ana Maria A. C. et al.

Contributors: Gervasi, Osvaldo Murgante, Beniamino Rocha, Ana Maria A. C. et al.

File Description: application/pdf

Relation: 9783319951614; 0302-9743

Availability: https://hdl.handle.net/1822/57959

Lecture Notes in Computer Science

Authors: A Javadpour, F Ja'fari, T Taleb

Source: Distributed Applications and Interoperable Systems

Lecture Notes in Computer Science

Authors: Bonakdarpour, Borzoo Momtaz, Anik Ničković, Dejan et al.

Source: Lecture Notes in Computer Science ISBN: 9783031742330

Byrtus, R., Frolík, S. (2024). Notes on Forward Kinematics of Generalised Robotic Snakes Based on Compass Ruler Algebra. In: Silva, D.W., Hitzer, E., Hildenbrand, D. (eds) Advanced Computational Applications of Geometric Algebra. ICACGA 2022. Lecture Notes in Computer Science, vol 13771. Springer, Cham. https://doi.org/10.1007/978-3-031-34031-4_12

Lecture Notes in Computer Science: BioASQ at CLEF2023: The Eleventh Edition of the Large-Scale Biomedical Semantic Indexing and Question Answering Challenge

Authors: Nentidis, Anastasios Krithara, Anastasia Paliouras, Georgios et al.

Source: Advances in Information Retrieval. ECIR 2023. Lecture Notes in Computer Science

Lecture Notes in Computer Science

Authors: Keremer, O., Malay, F.C., Deveci, B., Kirci, P., Unal, P.

Source: Lecture Notes in Computer Science

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) : Preface

Authors: Pattichis, Constantinos S. Lanitis, Andreas Tsapatsoulis, Nicolas et al.

Subject Terms: Computer and Information Sciences, Natural Sciences

Access URL: https://hdl.handle.net/20.500.14279/24612
https://api.elsevier.com/content/abstract/scopus_id/85119365479
https://hdl.handle.net/20.500.14279/24614
https://api.elsevier.com/content/abstract/scopus_id/85119490200