Order Article Reprints

Journal: Symmetry, 2019
Volume: 11
Number: 1142
1142
Article: CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic
Authors: by Feng Cao, Yang Xu, Jun Liu, Shuwei Chen and Xinran Ning
Link: https://www.mdpi.com/2073-8994/11/9/1142

MDPI provides article reprints in high quality with convenient shipping to destinations worldwide. The articles are printed in on premium paper with high-resolution figures. Our covers are customized to your article and designed to be complimentary to the journal. These reprints are ideal additions to your portfolio. Copy details: 135g/m2 paper, 2x stitched, full colour and glossy finish, orderable in quantities from 10 to 1000.

If you have any questions, or special requests, please write to our support team; we are happy to provide you with the information you need.

Reprint Options

Number of pages: ^req

Copies:  ^req

Please choose...1020253050100200300400400+

Copies ^req

 

If you need more than 400 copies, please contact us by e-mail (publisher@mdpi.com) and we will prepare an individual offer for you.

Production Quality:

High quality (printed in full color on glossy, 135g/m ² paper and 2x stitched)

Contact Person

Title ^req

please chooseDr.Mr.Mrs.Ms.

Contact Person ^req

E-mail Address ^req

Telephone ^req

Shipment Address

Company / University

Address ^req

ZIP Code ^req

City ^req

State

Destination Country / Territory ^req

Please choose...AfghanistanAlbaniaAlgeriaAmerican SamoaAndorraAngolaAnguillaAntarcticaAntigua and BarbudaArgentinaArmeniaArubaAustraliaAustriaAzerbaijanBahamasBahrainBangladeshBarbadosBelarusBelgiumBelizeBeninBermudaBhutanBoliviaBosnia and HerzegovinaBotswanaBouvet IslandBrazilBritish Indian Ocean TerritoryBrunei DarussalamBulgariaBurkina FasoBurundiCambodiaCameroonCanadaCape VerdeCayman IslandsCentral African RepublicChadChileChinaChristmas IslandCocos (Keeling) IslandsColombiaKosovoCongoCongo, the Democratic Republic of theCook IslandsCosta RicaCote D'IvoireCroatiaCubaCyprusCzech RepublicDemocratic People's Republic of KoreaDenmarkDjiboutiDominicaDominican RepublicEcuadorEgyptEl SalvadorEquatorial GuineaEritreaEstoniaEthiopiaFalkland Islands (Malvinas)Faroe IslandsFijiFinlandFranceFrench GuianaFrench PolynesiaFrench Southern TerritoriesGabonGambiaGeorgiaGermanyGhanaGibraltarGreeceGreenlandGrenadaGuadeloupeGuamGuatemalaGuineaGuinea-BissauGuyanaHaitiHeard Island and Mcdonald IslandsHoly See (Vatican City State)HondurasHong KongHungaryIcelandIndiaIndonesiaIranIraqIrelandIsraelItalyJamaicaJapanJordanKazakhstanKenyaKiribatiKoreaKosovoKuwaitKyrgyzstanLaosLatviaLebanonLesothoLiberiaLibyaLiechtensteinLithuaniaLuxembourgMacaoMacedoniaMadagascarMalawiMalaysiaMaldivesMaliMaltaMarshall IslandsMartiniqueMauritaniaMauritiusMayotteMexicoMicronesia, Federated States ofMoldovaMonacoMongoliaMontenegroMontserratMoroccoMozambiqueMyanmarNamibiaNauruNepalNetherlands AntillesNew CaledoniaNew ZealandNicaraguaNigerNigeriaNiueNorfolk IslandNorthern Mariana IslandsNorwayOmanPakistanPalauPanamaPalestinian Territory, OccupiedPanamaPapua New GuineaParaguayPeruPhilippinesPitcairnPolandPortugalPuerto RicoQatarReunionRomaniaRussiaRwandaSaint HelenaSaint Kitts and NevisSaint LuciaSaint Pierre and MiquelonSaint Vincent and the GrenadinesSamoaSan MarinoSao Tome and PrincipeSaudi ArabiaSenegalSerbiaSeychellesSierra LeoneSingaporeSlovakiaSloveniaSolomon IslandsSomaliaSouth AfricaSouth Georgia and the South Sandwich IslandsSpainSri LankaSudanSurinameSvalbard and Jan MayenSwazilandSwedenSwitzerlandSyrian Arab RepublicTaiwanTajikistanTanzaniaThailandThe NetherlandsTimor-LesteTogoTokelauTongaTrinidad and TobagoTunisiaTurkeyTurkmenistanTurks and Caicos IslandsTuvaluUgandaUKUkraineUnited Arab EmiratesUnited States Minor Outlying IslandsUruguayUSAUzbekistanVanuatuVenezuelaVietnamVirgin Islands, BritishVirgin Islands, U.s.Wallis and FutunaWestern SaharaYemenYugoslaviaZambiaZimbabwe

Order cost and details

Currency:

CHFEURUSDGBP

Reprint price:

Zone to be sent:

Shipment price:

Estimated total price:

Notes or Comments

Comments

Validate and Submit Form

 ^req

^req denotes required fields.