Genetic Programming $$\varvec+}$$ + Proof Search $$\varvec=}$$ = Automatic Improvement
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Genetic Programming $$\varvec+}$$ + Proof Search $$\varvec=}$$ = Automatic Improvement ; day:7 ; month:3 ; year:2017 ; pages:1-20
Journal of automated reasoning ; (7.3.2017), 1-20
- Classification
-
Informatik
- Creator
-
Kocsis, Zoltan A.
- Contributor
-
Swan, Jerry
SpringerLink (Online service)
- DOI
-
10.1007/s10817-017-9409-5
- URN
-
urn:nbn:de:1111-201703303051
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:53 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Kocsis, Zoltan A.
- Swan, Jerry
- SpringerLink (Online service)
Other Objects (12)
Production of $$\varvec\eta }_\varvec{c}}, \varvec\chi }_\varvec{c}}$$ η c , χ c and $$\varvec\chi }_\varvec{b}}$$ χ b Mesons in Proton–(Anti)Proton Collisions
NSE characterization of the Chevalley group $$\varvecG}_{\varvec{2}} \varvec{(4)}}$$ G 2 ( 4 )
Physics-informed deep learning to forecast $$\widehat{{\varvec{M}}}}_{{\varvec{m}}{\varvec{a}}{\varvec{x}}}$$ M ^ m a x during hydraulic fracturing
Fragmentation of charm to charmonium in $${\varvec{e}}}^+{{\varvec{e}}}^-$$ e+e- and $${\varvec{pp}}}$$ pp collisions
On the Microscopic Structure of $$\varvec{\pi }}$$ π NN, $$\varvec{\pi }}$$ π N $$\varvec{\Delta }}$$ Δ and $$\varvec{{\pi }\Delta \Delta }}$$ π Δ Δ Vertices
Measurement of the double- $$\varvec\beta }$$ β decay of $$\varvec^{150}}$$ 150 Nd to the 0 $$\varvec^+_1}$$ 1 + excited state of $$\varvec^{150}}$$ 150 Sm in NEMO-3
Fractional $$(\varvec{s}},{\varvec{p}})$$ ( s , p ) -Robin–Venttsel’ problems on extension domains
On some nonlinear operators in $$\varvec{\Lambda }} \varvec{BV}}$$ Λ B V -spaces
$$\varvecS}$$ S -preclones and the Galois connection $$\varvec{}^{S}{}\textrm{Pol}}$$ S Pol – $$\varvec{}^{S}{}\textrm{Inv}}$$ S Inv , Part I
Refined Enumeration of $${\varvec{k}}}$$ k -plane Trees and $$\varvec{k}}$$ k -noncrossing Trees
$$\varvecJ}$$ J -, M- and $$\varvecL}$$ L -integrals of line charges and line forces
Deviatoric behaviour of compacted unsaturated soils within ( $$\varvec{q}},\boldsymbol{ }{{\varvec{v}}}_{\mathbf{w}},\boldsymbol{ }{\varvec{p}}$$ q , v w , p ) space—an experimental study
Production of $$\varvec\eta }_\varvec{c}}, \varvec\chi }_\varvec{c}}$$ η c , χ c and $$\varvec\chi }_\varvec{b}}$$ χ b Mesons in Proton–(Anti)Proton Collisions
NSE characterization of the Chevalley group $$\varvecG}_{\varvec{2}} \varvec{(4)}}$$ G 2 ( 4 )
Physics-informed deep learning to forecast $$\widehat{{\varvec{M}}}}_{{\varvec{m}}{\varvec{a}}{\varvec{x}}}$$ M ^ m a x during hydraulic fracturing
Fragmentation of charm to charmonium in $${\varvec{e}}}^+{{\varvec{e}}}^-$$ e+e- and $${\varvec{pp}}}$$ pp collisions
On the Microscopic Structure of $$\varvec{\pi }}$$ π NN, $$\varvec{\pi }}$$ π N $$\varvec{\Delta }}$$ Δ and $$\varvec{{\pi }\Delta \Delta }}$$ π Δ Δ Vertices
Measurement of the double- $$\varvec\beta }$$ β decay of $$\varvec^{150}}$$ 150 Nd to the 0 $$\varvec^+_1}$$ 1 + excited state of $$\varvec^{150}}$$ 150 Sm in NEMO-3
Fractional $$(\varvec{s}},{\varvec{p}})$$ ( s , p ) -Robin–Venttsel’ problems on extension domains
On some nonlinear operators in $$\varvec{\Lambda }} \varvec{BV}}$$ Λ B V -spaces
$$\varvecS}$$ S -preclones and the Galois connection $$\varvec{}^{S}{}\textrm{Pol}}$$ S Pol – $$\varvec{}^{S}{}\textrm{Inv}}$$ S Inv , Part I
Refined Enumeration of $${\varvec{k}}}$$ k -plane Trees and $$\varvec{k}}$$ k -noncrossing Trees
$$\varvecJ}$$ J -, M- and $$\varvecL}$$ L -integrals of line charges and line forces
Deviatoric behaviour of compacted unsaturated soils within ( $$\varvec{q}},\boldsymbol{ }{{\varvec{v}}}_{\mathbf{w}},\boldsymbol{ }{\varvec{p}}$$ q , v w , p ) space—an experimental study
Production of $$\varvec\eta }_\varvec{c}}, \varvec\chi }_\varvec{c}}$$ η c , χ c and $$\varvec\chi }_\varvec{b}}$$ χ b Mesons in Proton–(Anti)Proton Collisions
NSE characterization of the Chevalley group $$\varvecG}_{\varvec{2}} \varvec{(4)}}$$ G 2 ( 4 )
Physics-informed deep learning to forecast $$\widehat{{\varvec{M}}}}_{{\varvec{m}}{\varvec{a}}{\varvec{x}}}$$ M ^ m a x during hydraulic fracturing
Fragmentation of charm to charmonium in $${\varvec{e}}}^+{{\varvec{e}}}^-$$ e+e- and $${\varvec{pp}}}$$ pp collisions
On the Microscopic Structure of $$\varvec{\pi }}$$ π NN, $$\varvec{\pi }}$$ π N $$\varvec{\Delta }}$$ Δ and $$\varvec{{\pi }\Delta \Delta }}$$ π Δ Δ Vertices
Measurement of the double- $$\varvec\beta }$$ β decay of $$\varvec^{150}}$$ 150 Nd to the 0 $$\varvec^+_1}$$ 1 + excited state of $$\varvec^{150}}$$ 150 Sm in NEMO-3
Fractional $$(\varvec{s}},{\varvec{p}})$$ ( s , p ) -Robin–Venttsel’ problems on extension domains
On some nonlinear operators in $$\varvec{\Lambda }} \varvec{BV}}$$ Λ B V -spaces
$$\varvecS}$$ S -preclones and the Galois connection $$\varvec{}^{S}{}\textrm{Pol}}$$ S Pol – $$\varvec{}^{S}{}\textrm{Inv}}$$ S Inv , Part I
Refined Enumeration of $${\varvec{k}}}$$ k -plane Trees and $$\varvec{k}}$$ k -noncrossing Trees
$$\varvecJ}$$ J -, M- and $$\varvecL}$$ L -integrals of line charges and line forces