Inproceedings,
Metaheuristic Algorithms for Proof Searching in HOL4.
M. Nawaz, M. Nawaz, O. Hasan, and P. Fournier-Viger.SEKE, page 376-381. KSI Research Inc., (2022)
Meta data
- BibTeX key
- conf/seke/NawazNHF22
- entry type
- inproceedings
- booktitle
- SEKE
- year
- 2022
- pages
- 376-381
- publisher
- KSI Research Inc.
- crossref
- conf/seke/2022
- ee
- https://doi.org/10.18293/SEKE2022-103
- isbn
- 1-891706-54-3
- url
- http://dblp.uni-trier.de/db/conf/seke/seke2022.html#NawazNHF22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/seke/NawazNHF22
%A Nawaz, M. Saqib
%A Nawaz, Muhammad Zohaib
%A Hasan, Osman
%A Fournier-Viger, Philippe
%B SEKE
%D 2022
%E Peng, Rong
%E Pantoja, Carlos Eduardo
%E Kamthan, Pankaj
%I KSI Research Inc.
%K dblp
%P 376-381
%T Metaheuristic Algorithms for Proof Searching in HOL4.
%U http://dblp.uni-trier.de/db/conf/seke/seke2022.html#NawazNHF22
%@ 1-891706-54-3
@inproceedings{conf/seke/NawazNHF22,
added-at = {2024-02-05T00:00:00.000+0100},
author = {Nawaz, M. Saqib and Nawaz, Muhammad Zohaib and Hasan, Osman and Fournier-Viger, Philippe},
biburl = {https://www.bibsonomy.org/bibtex/26121aa9238b41defc52745dd6c3e7324/dblp},
booktitle = {SEKE},
crossref = {conf/seke/2022},
editor = {Peng, Rong and Pantoja, Carlos Eduardo and Kamthan, Pankaj},
ee = {https://doi.org/10.18293/SEKE2022-103},
interhash = {62e0a10537facb57ad14ceafb1bf6c94},
intrahash = {6121aa9238b41defc52745dd6c3e7324},
isbn = {1-891706-54-3},
keywords = {dblp},
pages = {376-381},
publisher = {KSI Research Inc.},
timestamp = {2024-04-09T11:51:09.000+0200},
title = {Metaheuristic Algorithms for Proof Searching in HOL4.},
url = {http://dblp.uni-trier.de/db/conf/seke/seke2022.html#NawazNHF22},
year = 2022
}